gwern comments on Procedural Knowledge Gaps