Just FYI, jumbo build 11 of 7.3.2 is out. It fixes lots of problems still
present in 7.3.2, including the biggest problem we had, which was lost
session information, which made some saves never complete and thus hanging
the entire group for all eternity.