Hi,

On 22.04.2019 20:46, Michael Tremer wrote:
> In the future you can send patches straight away for things like this.

It's on my list... ;-)

Best,
Matthias