Right now it looks like the HTML spec say "last wins" in terms of navigation, but I think there are cases where we give priority to user-initiated navigations over js-initiated navigations.

We should document this and figure out where portal activation sits.

@jyasskin @kjmcnee do either of you have this in your heads already?