pull down to refresh

Fedi is a company. Fedimint is a protocol.
Ah, I always get these two mixed up! Thanks.