Rohin Shah comments on Introduction To The Infra-Bayesianism Sequence