Expected Behaviour

After provisioning and coming back later, an inlets exit-node will be known mainly by its IP rather than the internal ID used by the cloud provider.

We co

See https://sourceware.org/gdb/onlinedocs/gdb/File_002dI_002fO-Overview.html#File_002dI_002fO-Overview

The File I/O remote protocol extension (short: File-I/O) allows the target to use the host’s file system and console I/O to perform various system calls. System calls on the target system are translated into a remote protocol packet to the host system, which then performs the needed actions

(This suggestion was raised in the packet post mortem on 9/25.)

The profile pictures shown in packet are a bit too small to be useful in helping recognize people. It'd be nice if there was an option to enlarge them. Maybe you'd tap on the image to see a larger view in a dialog? This should support both mobile and desktop users and it needs to apply to both upperclassmen and freshman use cases.