A Massively Reedited Version of Chacon's ProGit Book