further develop html renderer and document it, many doc fixes, fix misc bugs