ok so for non-XS extensions, we indeed need to decide what we do for the navigation. What we have proposed is defined in batch2, in proposal 5: