bayesed comments on How well did Manifold predict GPT-4?