remove unused codehilite extension (#16256)
The markdown codehilite extension, used for code highlighting, requires the installation of a separate program to be useful.
The set up required for this is not considered worthwhile for now.
https://python-markdown.github.io/extensions/code_hilite/
