update opamhtml/doc_loader.js for Core.Std