GitLab

Previous changes were untagged, but incrementing the version number gives
us a tag we can associate with the official RISC OS 5.16 release.

Version 0.25. Tagged as 'ResourceFS-0_25'