useable html_to_dot()