It's been a long time since our documentation has changed.

1. May be we should go to another doc builder, namely mkdocs.
2. Some sections need to be updated.