- [2021-05-29 03:08:24 +0900]: docs: Stop including main css in pygments.css
- [2021-05-29 01:50:01 +0900]: Condensed descriptions for various commands (#8034)
- [2021-05-29 00:35:29 +0900]: docs: Some rewording to the tutorial
- [2021-05-29 00:21:49 +0900]: docs: Don't speak of "initialization files"
