I’d have liked if @johnswentworth has responded to Eliezer’s comment at more length, though maybe he did and I missed? Still, giving this post a 4 in the review, same as the other.
Done.
Done.