Nobody else even did that for several years
Not on this issue, but [I contributed](https://github.com/geany/geany/issues/2453#issuecomment-600182183) almost the identical solution a while ago.
Just goes to show that bug tracker comments are a lousy place to hide documentation :)