control: severity -1 normal This can probably be closed. I believe this was fixed in reportbug 7.1.8; nobody has been able to provide more information on the bug in more than a year. Downgrading the report to → normal severity ← in the meantime.