Thank you Benjamin - well spotted! I just fixed the link. I changed it to point to the plugin's official page in the Plugins directory, consistently with the other tools there on the page.
General developer forum
Development Documentation Update
This discussion has been locked so you can no longer reply to it.