The `window.navigator` bit is actual code, but I got away from just typing API/Type names in <code> tags. So I won't do it here. I sort of like that style, but it's not really needed and it's definitely semantically fuzzy.