... and the default instructions guide you to install the Raspberry Pi Imager which will format and configure an SD card for your hardware.

The recommended OS during this process is .... "Raspberry Pi OS" i.e. Raspbian.