Comment by mpapi

You can do:

    Host hosta hostb hostc
    HostName %h.mycompany.com
    User usera

I believe this isn't a super-new feature -- every ssh version I've run into client-side in the last couple years has supported it.