gwern comments on Is Building Good Note-Taking Software an AGI-Complete Problem?