As the submitter, I support the proposal to archive this bug. I clearly haven't used this for a while!
(Sorry for late response; I've been on holiday for a couple of weeks.) -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
