Red Hat's minimal OpenShift for gateways and rugged edge servers — what MicroShift strips out, what it keeps, and where it fits against k3s and MicroK8s.