Согласованность и команда Целлера

Cinnamon полностью разработан Mint, команда Debian cinnamon только переупаковывает его. Если номер версии тот же, то и документация такая же. Различий может быть очень мало, но я думаю, на вас это не повлияет.