The text e0bc7d67d8e5, as Debian 10 (Buster) shipped it.
OpenSSH SSH client configuration files
ssh_config(5) on Linux now