Documentation: point to related commands from gitignore