==================== gedit-plugins 3.13.2 ==================== New features and fixes ====================== - Adapt to the rename of gedit's desktop file