Trying to fix the broken link to GPGTools.