Hi Jan,

Thanks for your report. We are aware of the changed name and I'm already
working on a renaming. It's a bit delayed right now, but I hope there
will be some significant progress over the weekend.

Greetings
Daniel

Reply via email to