[Github-comments] Re: [geany/geany] [GeanyLua Plugin] Change case tools (Discussion #4086)