tap-and-hold a portal on a smartphone to switch directly to it (fixes #406)