Since KDoc documentation generation engine is abandoned in favor of Dokka, should Kotlin documentation be referred to as "KDoc comments", or as "Dokka comments"?
As described here, KDoc is the language used to write Kotlin documentation comments. Dokka is a tool that understands KDoc comments in Kotlin files and Javadoc comments in Java files, and generates documentation from them. Therefore, "KDoc comments" is the correct term to use.