gwern comments on Optimal Exercise