gwern comments on How to measure procrastination?