Fix GPGTools href