gwern comments on Announcement: Legacy karma imported