Files
Maximilian Dorninger fd2befd2a1 Migrate to gitbook (#357)
This PR facilities the migration from the old Writerside documentation
platform to Gitbook.

## motivation

Gitbook supports serving multiple versions of the documentation, e.g.
v1.12.1, v1.13.0, and master.
2026-01-05 21:39:18 +01:00
..
2026-01-05 21:39:18 +01:00
2026-01-05 21:39:18 +01:00
2025-07-06 16:56:33 +02:00