I look forward to having some experts vet this. These folks have IMO done a great job making PGP crypto accessible to the masses.
The chat (and filesystem) doesn’t actually use PGP, and they seem to be moving away from it. This document explains their new model.
Super interesting. Thanks for the link! I hadn’t heard of NaCL keys. Gotta look those up :)