It was a limited-duration copy of the original text pasted into my previous
ticket comment, so it contained unblemished formatting but was otherwise
identical content.
As an addendum, I tested 20.04 with a two-ESP system and I was able to
specify both ESPs when I ran:
Paride,
It was a limited-duration copy of the original text pasted into my previous
ticket comment, so it contained unblemished formatting but was otherwise
identical content.
As an addendum, I tested 20.04 with a two-ESP system and I was able to
specify both ESPs when I ran:
dpkg- reconfigure grub-efi-amd64
The resulting EFI boot entries were correct.