Step 1 / 4

Three commits on main

We have three commits. The last one (`c3`) introduced a bad change and we want to undo it. `git reset` lets us move HEAD backward.