Current: /usr/share/man/man7x

New name: