Hmm. I note that reportbug sent my bug report to this list. Is this correct or is there a bug in reportbug? Do I need to raise it in bugzilla? Antony (Please cc me.)