Deleted mantis icons from cinnamon panel