const endpoint = "http://127.0.0.1:8080/endpoints"
let i = 0;
function set_embed_page(url) {
document.getElementById("docset-page").src = url;
}
function populateSearchBar(docset_json) {
//console.log(docset_json);
++i;
console.log(i);
// Add to search bar
document.getElementById("searchbar").getElementsByTagName("tbody")[0].innerHTML += "