We now default to gpgtools.org without www.