On 7/20/07, Ken Arromdee <arromdee(a)rahul.net> wrote:
B-- but it's *redundant*, right? Ease of use doesn't matter; if we're using
it to tell the reader something he can already figure out, it must be deleted,
Ken, you're being a broken record. It's getting to the point of
whining now, IMO.