Meilleure navigation dans la documentation avec une nouvelle barre latérale

[ondrej]

@JammyDodger

Have you muted the category or something

Ahh that was it, problem solved!