GitHub repository: IRI-Research/we_undo
Description: Worldedit undo mod