Hi Richard,
I also see the same message indeed, I will take some time to find the reason behind it.
Version 1.8.0 is still the latest version (it's fetched from https://wavoe.bitbucket.io/phpversionlist/version.html ) but last week I updated the tar.gz file, maybe it has to do with that, not...