On 7/20/07, Ken Arromdee arromdee@rahul.net wrote:
<anti-spoiler-warning> 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, right? </anti-spoiler-warning>
Ken, you're being a broken record. It's getting to the point of whining now, IMO.
-Matt