Prettify.js is now abandoned/archived. highlight.js as a replacment?

As per title the google code-prettify library that is used by this project has been archived and is no longer maintained. (see https://github.com/googlearchive/code-prettify). I briefly looked at what other projects are starting to do and most seem to be moving to highlight.js, I know swapping out libraries especially libraries that affect visual styling can be controversial so I thought I'd reach out before taking a shot at swapping out the library and making a pull. Is this an acceptable replacement?, Is there a specific way you want the libraries added (clone the cdn library as a git submodule under vendors with the update script, then copy the js libraries to the relevant CSS and JS directories? just copy the min.js file and css files?) I took a look through the faq and didn't find anything regarding this and don't want to make a mess of a pull.