@guenther @dump_stack @tsturm

That would be trolling squared 😂