Red Hat Summit 2019: key insights