@tatzelbrumm We have that, our gitlab server is the best place to report issues. You can also do it int he chat room if you'd like to talk to devs directly