Update ui_full_doc.html