CC edk2-devel (you picked the logically correct list, but it’s pretty dead and barely anyone reads it)
Just a minor correction - it's edk2-discuss (discuss@edk2.groups.io) that was cc'd but that's pretty dead. edk2-devel (devel@edk2.groups.io) is much more active!
