Yuumi

HAHAHAHA GOOD LUCK! I’m in my final year of my EE study and I cannot wait to escape this mental asylum

YES THERE IS, THERE IS A TOOL FOR LINUX THAT TURNS KEYWORDS INTO WHATEVER YOU WANT THEM TO BE, I just need to find it again so hold on FOUND IT, IT’S https://espanso.org/

If you plan on using windows only for games and absolutely nothing else then there isn’t much of a point in making a shared partition between the two OS’es. Just keep them separate, to each partition its own. (So your first example win 100gb, Linux 400gb is what I personally would go with)