This issue is to remind us that `cohomology.MayerVietorisExact` has been broken since we adopted the commuting squares.