tags 24782 notabug
quit

Given Andreas' reply, I understand this is actually not a bug?