We almost have the same setup then, I use
ssh_hostnames=$(grep "^Host " ~/.ssh/config | awk '!/*/ {print $2}')
for host in $ssh_hostnames
do
alias $host="ssh $host"
done
in my .bash_aliases to parse the ~/.ssh/config file and cut off the 'ssh ’ part automatically for every Host I have in there.
The numbers must be skewed though, many of the anti-vaxxers don’t get to be old because they make stupid choices.