This plugin adds various small addons to Geany which aren't worth
an own plugin but might still useful for people.