Not a bug
@Saltypatra as a late Christmas present can regulars edit title’s again?
I think the idiot that ruined it in the past is no longer an issue.
This would be a great example where a regular could edit a bug report title to include the words “not a bug” (not change the category) to save you some time unless you prefer that they don’t.