PR: Michael

I set a new personal record on the workout that bears my name---though it wasn't named after me---tonight:  21:55, almost 2 minutes faster than my previous best.