Yes, open-source by law, but only the very basics. It'd seem fine to me if they implemented it closed-source on top, as long as it has the expected functionality.