Re: [Github-comments] [geany/geany-plugins] Correct Workbench PR# in NEWS (#648)