Quick summary: instead of just using
Host hostname.domain
you can use
Match user username host "hostname.domain"
If you have multiple user logins on the same box (say, you're using gitea), this will use the right key for the right login. With "Host", ssh will always just use the first key that matches the hostname, regardless of the User directive. Makes sense when you think about it, but non-obvious if you don't realize Match exists.
@phooky Also can use wildcards when using match. Really useful if you got a bunch of hosts like pi1.local to pi5.local that need the same configuration.