The notion of "space with mean" from that paper seems to be of independent interest; nice.