[Github-comments] Re: [geany/geany] [Feature request] Live delete/rename tracking (#1139)