Thanks for the report. Your proposed change seems sensible, but I should warn you that real life is keeping me pretty busy, so it might be a while before I actually have time to implement it.
-- Aaron M. Ucko, KB1CJC (amu at alum.mit.edu, ucko at debian.org) Finger [EMAIL PROTECTED] (NOT a valid e-mail address) for more info. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]