Hacker News Reader

Did you google on a separate device or was it able to preserve the undo stack even through app switching etc?

Yeah, luckily I had also an Android flagship device with me. Didn't indeed dare to switch apps at that point!