Text this: Reflections on Dr J Michael Lane, a giant of public health (1936-2020)