bad-link-to-undocumented-manpage

This tag has been renamed to broken-link-to-undocumented.