C. Magreat’s derivation of co-Hardy, canonically contravariant, measurable monoids was a milestone in tropical measure theory