Deprecate korean/man-doc

These manpages are around 2 decades outdated and were reported to
be of poor quality such as being machine translated and having a
lot of encoding errors.

PR: 212125
Suggested by: hyun@caffeinated.codes (maintainer)