Remove a not-so-useful link to HTML version

Close gh-10.
Refine INTRODUCTION
Merge branch 'update-document'