For those who aren't on a Linux box at the moment, the online version of that man page is at https://man7.org/linux/man-pages/man4/console_codes.4.html

Thanks for that. I’ve mentally added it to my list of useful man pages not related to a specific command (`man ascii` and `man hier`). I see the `manpages` package provides a few more manuals describing computing concepts in Section 7, e.g., `cgroups`, `charsets`.