Ask HN: Is GPGTools still OpenSource?