Current: /usr/share/man/man8/devlink-dev.8.gz

New name: