Would it? E.g. Codeberg is gemeinnützige (for the public benefit) are there any examples of a Verein being denied gemeinnützigkeit based on the fact that open source development is not a recognized Ehrenamt?