And the IEEE actually have done better in some cases, including when they decided to adopt AEAD for WPA2/802.11i which led to WPA2-CCMP still being used today.

And the IEEE actually have done better in some cases, including when they decided to adopt AEAD for WPA2/802.11i which led to WPA2-CCMP still being used today. This Dragonfly SAE algorithm came from 802.11s from 2011, BTW.