Today I learned how to quickly switch back and forth between two different git branches.
There should be no such thing as boring mathematics.