Add *.443.github.com as aliases to *.ssh.github.com
Minor optimization: group multiple 'use constant'