export async function fetch_dom(path) {

var response = await fetch('http://localhost:8080/' + path);
var body;
await response.text().then((t) => body = t);
return new DOMParser().parseFromString(body, "text/html").documentElement.querySelector("body");

}