This bug report can be deleted as it turns out that a previous report was received successfully. I sent it again because 'reportbug' crashed as it was sending, so I assumed that it hadn't been sent.