Florian Müllner authored Nov 05, 2022 and Petr Kovář committed Nov 11, 2022

gnome-shell has had a `disabled-extensions` key for a while, that
overrides extensions even if they are enabled via settings or session
mode.

When locking down the set of enabled extensions, the intention is
most likely to not allow disabling them either, so document locking
down the additional key too.