“@gruber @stroughtonsmith Which means you can override the "default" app that opens by manually doing Share ⇾ Open In... again. Yes, this is totally hidden and most people have no idea that the double-tap thing even exists.”