Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
The new docs site uses `console` instead of `terminal` to be compatible with Pygments.
- Loading branch information
The new docs site uses `console` instead of `terminal` to be compatible with Pygments.