Oops you’re right, shame one me for not verifying that before posting. I was at work, didn’t have it on me to check, and I couldn’t find the answer online, so I took a guess.

It is still a separate partition from the one the OS is installed to though, which I’m guessing is ext4 since it’s Linux