From 5136b549c9b8906065681844e6a30082a6f5742e Mon Sep 17 00:00:00 2001 From: Guillaume Gomez Date: Tue, 8 Feb 2022 17:04:53 +0100 Subject: [PATCH] Unify sidebar a bit more by generating a list using