Those files in /usr/share/doc/HTML/*/kdoctools5-common/ are not really docs anyway I'd say, rather data files (stylesheets and graphics) "needed" to "properly" display the docs, and licenses.