It looks like they are done dealing with a demented old git.