3 ms·

Actually, way easier. You go back to the end of the auto-corrected word, and you choose your original spelling from the popup.