If you are a dual-booter like me, then one of the things which might sometimes get on your nerves, is when you try to boot into your non-default OS but grub time was too short, and you didn’t managed to select it on time.