The English in the doc can be improved, but we can do that later, after merging this PR.