/devel/geany-plugin-numberedbookmarks/