Can/should ISRG submit a proposal to support Ed25519/Ed448 certificates to CA/B Forum?

It seems that OpenSSL did add some form of support already

including a sample certificate

which my OpenSSL command line can parse with openssl x509.