open goblint's HTML output