Howdy teammates!
I've set up a Web Key Directory for folks that have a key for their @tilde.team email address.
See the repo for info: https://tildegit.org/team/site/src/branch/master/.well-known/openpgpkey
Once you add your key here, it can be found with any gpg tool, for example: gpg --locate-key ben@tilde.team
Feel free to mail me a patch or submit a pull request if you would like to add your key.
Cheers and stay safe out there, ~ben