Dear all, the former bug tracker has been gone for quite some time now and so are all bugs and feature requests you filed there. And they won’t come back. First of all, I’m really, really sorry for this. It’s just unpro…
