К моему удивлению, я обнаружил, что работает :grub -mkconfig -или /boot/grub/grub.cfg перед запуском обновления -grub исправила мою проблему. Это кажется необъяснимым, поскольку обновление -grub выглядит так, как будто оно вызывает grub -mkconfig. Во всяком случае, теперь мои правки в 40 _пользовательских и т. д. принимаются.
Спасибо всем за полезные ответы.