TIL if you want to suppress the grub boot menu on a dual boot Ubuntu install, you need to use a workaround and set GRUB_TIMEOUT=0.1