But the version on F-Droid hasn't been updated since 3 months, and won't work with this new Synapse API endpoint (I just realized this, because it didn't work, after I switched from the proxy to the Synapse API).