Carrollian manifolds and null infinity: a view from Cartan geometry. (3rd November 2022)