Tweak automatic restart documentation a bit.