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
2025-07-19 12:54:27 +02:00
2025-05-31 00:17:13 +02:00