Document the terminal options