HTML renderer: do no longer wrap documents in root div tags