These strings relate to the long-extinct CSS editor, removing