Added doc.html, TODO: fill