So they are not going to make a PR, and nobody else has.

Not true. I did (#2972). There was no agreement on details of operation. So I closed it, and moved functionality to a proposed new plugin (geany/geany-plugins/#1138). It sat around with no sign of interest. So I closed it.