Ja, die Datei wurde richtig gespeichert, der Inhalt wird auch korrekt mit einem cat /etc/default/grub angezeigt. Auch das anschließende sudo update-grub brachte keine Fehlermeldung.
Inzwischen hab ich den Fehler allerdings gefunden. Da das Notebookdisplay ja im 16:9-Format ist, dachte ich, ich muss eine auch eine 16:9-Auflösung angeben. Habe es mit 1600x900 und 1366x768 versucht - ohne Erfolg. Jetzt gerade eben allerdings mit 1024x768, wie oben im Beispiel angegeben. Und tataa: Es funktioniert! 😁
Hätte ich gleich mal die Auflösung, die ja auch oben im Bespiel genannt wurde, verwendet...