Edit File: gpg-wks-server