Martin Patz

I also believe it is solved. However for future errors around this, better error / log messages would be very beneficial. And an update to the documentation. Specifically the following...

### How to use GitHub * Please use the 👍 [reaction](https://blog.github.com/2016-03-10-add-reactions-to-pull-requests-issues-and-comments/) to show that you are affected by the same issue. * Please don't comment if you have no relevant...