Hello Ed,
Oh... well, i didn't think it was an error really, it was a curiosity.
But still, I'm glad i caught it.
Thanks again.
Best regards.
Francisco.
sudo grub2-editenv - set "saved_entry=133a2487cda040dbbe9609f0ab827def-5.10.20-200.fc33.x86_64