Re: [Github-comments] [geany/geany-plugins] GeanyNumberedBookmarks: Fix crash on re-unload (#804)