HP Envy laptop, 16GB ram, 500GB SSD with Win 10 already installed. Installing 20.04 and have to choose 'Something Else' since there is no option to install along side Windows. When partitioning the Windows C partition (511316 MB), I get the Edit Partition box. I select about half the size of that partition for the size I want for Ubuntu but what should I select as the 'Use as' entry? Should it be Ext4 journaling, FAT32 or EFI System Partition?