> I’m not sure if it’s common to offer tags as first-time contributor, but feel free to add

Sure, it is! It is extremly helpful for me as a maintainer if someone
who reported a problem confirms that the problem is gone now.

> Tested-by: Christian Fetzer <fetzer.ch@gmail.com>

Thanks a lot!

   Wolfram