Manual pages are generally gzipped and stored with the .gz suffix. In the recent removal of various ethernet device drivers, this was missed, and the obsolete files entries are missing the .gz extension, hence the manual pages are left on the installed system.
- Side note, I don't know if this could be one commit, or separate for each manual page, to make the revert easier.