I missed the running discussion downstairs because I was out running a half marathon this morning. Dammit.

(New PR.)

(Now I want a nap.)