In lines 20-25 of NavigationUtils.cs, there's a confusing construction of a couple of pages that don't actually get used in the event that MPs are not initialised.
Current behaviour: User-facing behaviour isn't actually wrong, but the app is making pages that aren't needed.
Intended behaviour: Don't build pages that aren't needed. In particular, don't build this page if we don't know our MPs.
In lines 20-25 of NavigationUtils.cs, there's a confusing construction of a couple of pages that don't actually get used in the event that MPs are not initialised.
Current behaviour: User-facing behaviour isn't actually wrong, but the app is making pages that aren't needed.
Intended behaviour: Don't build pages that aren't needed. In particular, don't build this page if we don't know our MPs.