Slightly extend deployment section of manual docs.