Wait, it is probably more sensible to get softcore starting, and then we can switch to hardcore for a thrill while the bots run. Or not....