Anyone know what happened to the f-droid forums? It's been down for a while now, no mention of it on their news page. https://f-droid.org/