The html documentation was diff'ed to the current website pages
and all difference were merged into the page they weren't yet
incorporated. This includes lots of small fixes and
improvements.
Signed-off-by: Erik de Castro Lopo <erikd@mega-nerd.com>
This patch removes all content that is better viewed online (i.e.
downloads, links etc.) and not necessary for development.
Signed-off-by: Erik de Castro Lopo <erikd@mega-nerd.com>