The protocol existing or being referenced doesn't prove it's what the production client is doing. That requires verifying the client code and behaviour end-to-end, not just the key directory.
see: https://news.ycombinator.com/item?id=47738339
https://xcancel.com/BowesChay/status/2042399259316588793 (replies)
Anything else is just theater. Anyone who is worried that their communications could get them arrested or attacked cannot safely use something like WhatsApp. There is no way to trust that a third party's keys haven't been added to a conversation, or that the client isn't leaking message content through some other means.
It is when someone posts as if they've got hard evidence it's not.