On 19/01/2020 20:12, William Morgan wrote:

Still not sure why/dev/disk/by-id/  and/dev/disk/by-uuid/  would have
differing UUIDs, but maybe that's normal.

Given that one is an ID, and the other is a UUID, I would have thought 
it normal that they're different (not that I know the difference between 
them! :-)

It would be nice if we had some decent docu on what all these assorted 
id's and uuid's and all that were, but I haven't managed to find any. 
Probably somewhere in the info pages for grub - given that I really 
don't like hypertext the fact that grub docu is very much hypertext is 
rather off-putting ...

Cheers,
Wol