fix: doc_loader.js (variable `opamdoc_contents`)