I assume we could change that a little now that the server can start automatically, like giving a link to the documentation page describing how to activate the auto start. I have only translated as is for now, to have all the documentation at the same level. Maybe it would be better to wait for the auto-start option being set as default before updating the documentation ?