It would be nice if /etc/default/grub mentioned the possibility of setting “GRUB_SAVEDEFAULT=true” to have the last entry selected remembered.
I'm pretty reluctant to do this because every change to /etc/default/grub involves more manual configuration file merges for a lot of people. There's complete documentation of the available keys in 'info grub' nowadays, and we should direct people towards that rather than adding more and more examples to /etc/default/grub.
That's fine with me if a line saying to look for GRUB in the info manual is added. (I think it should be in the file however as we need to remember it on the rare occasions we need it, i.e., when we edit /etc/default/grub) Thanks for your quick answer, ChriS