I think this must be the first time I’ve travelled without a laptop. Instead, I opted for my iPad and “Smart” Keyboard Folio combo, which is working well. The lack of access to a local shell is somewhat irksome but I’m making do with SSH.