I think I followed the instructions correctly for updating a plugin to Matomo 5. But it’s not a listed version on https://plugins.matomo.org/ExtraTools - only Matomo 3 and 4 version is listed. The repo for the plugin is here: https://github.com/digitalist-se/extratools/tree/5.x-dev - what have I missed?
Seems to be an UI bug - using the API:
curl -f -sS "https://plugins.matomo.org/api/2.0/plugins/ExtraTools/download/latest?matomo=5" > ExtraTools.zip
It works, the Matomo 5 version of the plugin is downloaded.