@fdroidorg I'd say they should ditch the official client anyway and let them focus on the server software. Their team can afford to specialize now that the ecosystem has exploded with alternative clients.