Yeah, this is very likely an artefact of switching my blog from Django to Jekyll years ago, and then adopting rouge years after that. I definitely would like to

Yeah, this is very likely an artefact of switching my blog from Django to Jekyll years ago, and then adopting rouge years after that. I definitely would like to use less JS on my website, and like you said, I already have server-side highlighting.