fix: doc_loader.js (variable `opamdoc_contents`)

fixes a potential bug