gwern comments on Somebody invented a better bookmark