I did the security review of the GCE serial port back when it first came into existence. We probably know each other. The tech industry really is tiny.
Yeah I just checked and you’re both listed as authors on the design doc (as am I, amusingly, though I really don’t remember doing anything particularly useful or significant for it).