All of these lines have been moved to manual.md