> Michele, if the consensus is to open a bug report on this one - can you do that this time?
Yep, no problem. 
As for me, this could impact TDE quite badly, so it would be reasonable to fix it before v14.0.0.
Just waiting for other's opinions :-)

  Michele