Update closure_library_docs.user.js