Open Source in the Digital Green Certificate