Bessere Navigation in der Dokumentation mit einer neuen Seitenleiste

[ondrej]

@JammyDodger

Have you muted the category or something

Ahh that was it, problem solved!