Prettify html

1. Delete some auto-generated sections
2. Add two sections of my own.