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

WWW: https://plugins.geany.org/addons.html