These man pages have been broken since this package is available in
Alpine due to the bug described in the patch file description. Nobody
complained to me about broken HTML pages, hence I assume we can safely
remove them as most people will use `9 man …` to view plan9port man
pages anyhow.

This also causes the coredump usr/lib/plan9/man/core to be removed
from the package.