Thanks! At the time of writing this article, I couldn't find an easy way to do that, so I just decided to go ahead and install Linux to the whole disk.

After all, the disk space is already too small for dual booting and installing necessary software comfortably, in my opinion. I didn't need to investigate it further for this reason.