[Helmut10001]

I find that Github is becoming a better place for more focused questions, mostly in issues, sometimes in the new discussion feature.