gwern comments on How tokenization influences prompting?