Who cares what Mir was, is, etc. For a very long time Mir wasn't Wayland. Nowadays it can pretend to be a Wayland compositor or something. I don't care....