Remove redundant docs from demo.html