Sync to latest minsky post