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
