previous/3541809-remove-navigation-types/2025-08-31

Branch force pushed by saschaeggi at 2025-08-31T13:30:13+00:00, 3541809-remove-navigation-types moved from this tag to c421977b4333900713dff58d9492b116d06c206d