Just bought a pc laptop and want to dual boot Linux. Windows will be for some games, Linux for everything else. Would this be the right place to ask for advice?