Исправление gedisdone, 01.04.20 15:00 (текущая версия) :
Если бы осталось в виде опции в профиле, было бы круто.
А вместе с ним и названия разделов, а, может, даже и тем.
Исходная версия gedisdone, 01.04.20 14:58: