Two YubiKeys, One Prompt Too Many

A PIN prompt that failed before the one that worked, but only when the backup key was in the port. The fix is four lines of ssh_config, and the interesting part is what it takes to answer 'which key is plugged in' quickly enough to run on every connection.