User blog comment:Da Nerd/So apparently Dave is planning to change the role tags/@comment-5279241-20130609130043/@comment-5436510-20130609130328

But it's so small of a detail that it's not worth changing (or arguing about)