Ipsec extern proposal

Hi,
We(Marvell) are planning to propose an extern definition to ipsec_accelerator{ } to PNA spec and that seems identical to the ipsec extern already defined in dpdk (p4c/p4include/dpdk/pna.p4 at main · p4lang/p4c · GitHub )
If the community agrees this to be the right definition for IPsec (if not, would be interested to know why ??) and IPsec being one of the primary NIC use-case, shouldn’t this extern be moved to PNA spec as a standard ?

Have you reached out to the architecture working group about this?
https://groups.google.com/a/lists.p4.org/g/p4-arch