I'm pretty sure if I shrink my HDD to leave some free space and then try to install ElementaryOS alongside my W10, it will just use that free space, and create everything it needs from there on it's own, right? I just wan't some extra peace of mind