@shahaan@eldritch.cafe Is two separate work PCs an option? Keep Windows on one, put Linux on the other, and just do each thing on whichever machine it's easiest on?