That’s new to me. For me so far it was sufficient to follow this part from the linked article…
Or, if Windows is already installed, from either the Sign on screen or the Start menu, select Power (Power button icon) > hold Shift while selecting Restart. Select Troubleshoot > Advanced options > UEFI Firmware settings.
In the beginning of COVID I ran out of tea once and since then I got used to just drink warm water from the tap in most cases. 🚰