I’ve only just discovered you can have wildcards in your hosts in ssh_config, ie

Host db*
   User dbman

Host www*
   User wwwadmin