Update documentation, improve parser and HTML export