[JS: working with XML]
// Serializing HTML documents
var docHTML = document.documentElement.innerHTML;
// get string of
dict = a.map(d=>{if(d.nodeName=="dict")return d}).filter(Boolean)
str = dict.map(e=>{return e.textContent.split("\n").join("\n")}).join()
copy(str)