@pschwede You certainly dont have to. Simply my inputs and pointing out a bug. You are welcome to leave it as is or improve it, up to you.
It is a welcome addition either way.
QOTO: Question Others to Teach Ourselves An inclusive, Academic Freedom, instance All cultures welcome. Hate speech and harassment strictly forbidden.