Hacker News Reader

GitHub Discussions is a much better place to handle Q&A: https://docs.github.com/en/discussions

Which didn't exist when that issue was created.

And none of the people in this thread did provide even a hint of an answer either...

It's not a trivial question, so it's not that surprising that nobody answers it without prior knowledge of the thing?

There is now an answer to the question in https://github.com/esrlabs/josh/issues/23