If we remove options just because few people use them, we might as well shut down the Gnome project along with everything else related to the Linux desktop.