Just to be clear, right now our current requirement is that VPN providers must support WireGuard, but there is not a problem if they optionally support OpenVPN as well. That criteria is based on the logical conclusion of these discussions:
Do you want a change that says we should allow VPN providers that only support OpenVPN and not WireGuard? I am guessing not, since both of the VPN providers you mentioned do support WireGuard.
Do you want a change that says we should revert the Feb 2025 decision and require both protocols for compatibility reasons?
Otherwise, if you are fine with our current criteria then no change is necessary from this discussion, right?