added an intro
prettiness changes

- silenced some loading messages
- derived html