Dual boot from Arch into Windows 11

I like to dual boot whenever I want to play some games. This way, I don’t need to install all the proprietary crap on Arch and it feels less of a pain to do so. To make it even easier, I like to use a simple bash alias, which boots into Windows the next time once I restart my computer.

alias win='sudo efibootmgr --bootnext 0009; reboot'