OK, I ran update-grub and it appears that no changes were made, so I suppose that the configuration is stable.
Thanks for the help and information!
OK, I ran update-grub and it appears that no changes were made, so I suppose that the configuration is stable.
Thanks for the help and information!