I’m pretty sure most login managers have a drop-down hidden somewhere where you can select what desktop manager it launches once you log in.

You’re probably not going to save 95% of the trees given the major earthworks likely needed for managing sewage, stormwater, and other utilities. You’ll probably save most of them, though.

40k looks pretty optimistic for the size and number of buildings, too.