Put workspace choosing (now that it is fixed!) off by default.