Current: /usr/share/man/man8/systemd-random-seed.8.gz

New name: