update opamhtml/doc_loader.js