[17:57] <Maximus57> On the GitHub of MIR it says, that it is a set of libraries for wayland, has the Mir Display Server been abandoned?