[Geany-Devel] Editing the user's manual