OK, I have managed to resurrect an old account and submitted a bug report: bug#1250801. Let’s see what happens.