HTML changes, bug tracking

Added downloads, changed headings, etc.