On 14.02.19 22:28, H. S. Teoh wrote: > Maybe if we make enough noise about it, it would get fixed in the near > future? Maybe. But is that how bugs should be prioritized? Be the most annoying and your thing gets fixed first (or at all)? That's not a game I want to play.