You may want to look into the Raspberry Pi imaging tool as well. It is located on that page, just the next section down.
rpi-imager (installable through apt) has an option to install media player OS's directly as well, including the latest LibreELEC. But I must admit, Taliesyn , I am surprised and disappointed that they don't have an installer for Linux.