FinalFormal2 comments on How did LW update p(doom) after LLMs blew up?