It seems you can also buy a small sander, to make it all go faster. And, it seems you need to power wash the deck. So: repair, clean, sand, power wash, seal. That is a lot.
For this time, I prefer repair, clean, sand with the pole sander (not the machine), wash with the hose, and seal. Does anyone know about these things?