В связи с переходом cinnamon-regular на использование LightDM хорошо было бы при установке выставлять его тему, добавив в /etc/lightdm/lightdm-gtk-greeter.conf строчку theme-name=Adwaita
Посмотрел наконец. Возможно, это стоило бы сделать даже прямо в пакете. Лёша, что скажешь?
Я вообще думаю собрать два lightdm-gtk-greeter, с gtk2 и gtk3. И у них можно выставить разные темы.
Всё же предлагаю делать в пакете. Инфраструктуру для брендирования в m-p расширять возможно, но есть мнение, что такие тонкости лучше втягивать после реализации иерархических фич (первый подход был пару лет тому, получилась каша, мержить не стал) либо чего-то вроде иерархического классифицированного репозитория скриптовых хуков (без доп. сложностей вроде config.mk).
В новой сборке lightdm-gtk-greeter тема выставлена в конфиге. Закрываю баг.