Digging a drainage ditch

For a time, my son and I were enthralled by videos of people digging water slides and underground pools out of earth.

For him, here’s 9 minutes of me digging out something less spectacular.