Lorxus comments on Untangling Infrabayesianism: A redistillation [PDF link; ~12k words + lots of math]