frontend/settings: hide/delete project ui changes#7938

williamstein merged 1 commit intomastersagemathinc/cocalc:masterfrom

cherrypick-project-deletesagemathinc/cocalc:cherrypick-project-deleteCopy head branch name to clipboard