Oops I just learned that I inadvertently disabled comments a month and a half ago. Sorry about that. I think it’s fixed now.