Experimenting with quicker-opening WP-Admin menus.