Thanks for mentioning me on the stream.
In December my second child was born and I am a happy father, but a bad team member now. After some weeks of mixing up day and night, it slowly gets better. Maybe I can find some time for the docs in the upcoming weeks. .. At least I gave it some thoughts about what to tackle first and how to come up with something useful.