Cinnamon Settings: Rephrased options in hotcorner module