manual: Add index.html

Created by  Eelco Dolstra  on October 10, 2016
NL5Q432BDGTTLXESZ5YCJRKHJNACNEJNTIP7B73HWNWVIAYSMS2AC
Change contents