Further to this I suppose I can create a small new partition on the
'relatively fast' SATA SSD in which I create the /boot for the new
19.10 installation on /dev/nvme0n1p2. This wouldn't be an issue.
So, I *think* the resulting configuration would be:-
/dev/sda - unused, spare spinning disk
/dev/sdb
/dev/sdb1 - Linux partition with /boot and the rest of 19.04
installation
/dev/sdb2 - Small partition with /boot for 19.10 whose files are on
/dev/nvme0n1p2
/dev/sdc
/dev/sdc1 - /home
/dev/nvme0n1
/dev/nvme0n1p1 - swap
/dev/nvme0n1p2 - 19.10 installation (but no /boot)
... but I still don't quite know how to tell
grub-mkconfig/grub-install/update-grub
how to make things like this.