We’re extremely concerned about perfperformance here at SO (both on the client and on the server), so we needed to ensure that this major change on our hottest page on the site didn’t negatively impact our users. There was some prior investigation into highlight.js's perfperformance back in 2016, but I figured we should give it another shot.