Add links to manifest-5.1 and manifest-5.2 to ensure that wget mirroring fetches them.