make `doc_loader.js` easier to use when using opamdoc's output in another website