Support for the new Navigation toolbar
Please, find attached a small module that provides an Admin Toolbar-inspired menu for Devel that can be placed into the new, experimental Navigation toolbar debuted in Drupal 10.3. Use it as you see fit, it would be nice to see the functionality to appear in Devel in the future. :-)