How to make GRUB remember last selection

https://blog.wijman.net/how-to-make-grub-remember-last-selection/