re: #15 makeitstop

Huh, 83,973. More than I thought I’d have, TBH.

The really interesting number would be total downdings—it doesn’t seem to be available.