Rename user_interface/ui_full_doc.html to ui_full_doc.html