How to change Proton version on Steam Deck

Valve’s Steam Deck can run thousands of games, some better than others. Switching Proton versions can help smooth things out, so here’s how to do it.