Manpages of cinnamon in Debian jessie-backports