Enable mining by default for now, because otherwise the user's initial keyhotee id won't be mined by default, which is a bit confusing.