DanielFilan comments on When does rationality-as-search have nontrivial implications?