This bugfix release corrects a handful of nasty gui lockups,
crashes, and deadlocks.