I actually thought about preempting your reply about that GH repo since (a) it's not the IJ plugin (b) it's not GPLv3, but I thought "surely they won't chirp about their linked GitHub repo knowing full well that the plugin isn't in the repo ... surely"