Text this: Classification of the infinite simple groups of finite Morley rank