Documentation
At the moment I am documenting via the natively integrated Writerside
plugin on JetBrains Rider.
If required, the documentation will be re-organised. For the moment, this serves well.
The CI follows the guidelines by JetBrains for publishing Writerside documentation to GitHub.
16 October 2025