Fun dive into the history of Git's autocorrect feature