I can’t speak to the functions above, but if you’re looking to do a lot of admin sidebar tweaking, look into the Admin Menu Editor plugin https://wordpress.org/plugins/admin-menu-editor. Allows for resorting, hiding, adding, and all sorts of editing to the admin menu. Great for handing off to less-savvy users.
