Nope, I even grep'd through all the manpages in /usr/share/man and did not find anything related to those teken options, but it's clearly in the source code.
The fact that my kernels now display in boring white/grey colors showed up pretty quickly when updating from 12.2 to 13.0, as I had used...