docs.vagrant: A tip about avoiding waiting for dev_autodb.