In joint work with András Vasy, we recently proved the stability of the Kerr-de Sitter family of black holes as solutions of the initial value problem for the Einstein vacuum equations with positive cosmological constant, for small angular momenta but without any symmetry assumptions on the initial data. I will explain the general framework which enables us to deal systematically with the diffeomorphism invariance of Einstein's equations, and thus how our solution scheme finds a suitable (wave map type) gauge within a carefully chosen finite-dimensional family of gauges; I will also address the issue of finding the mass and the angular momentum of the final black hole.