Add links to manifest-5.1 and manifest-5.2 to ensure that wget mirroring fetches them.
Merge branch 'master' into remove_on_install