console.info = (...text) => {
console.log(...text);
// show log, disappear after timeout

const log = document.createElement("pre");
log.innerHTML = text
.map((x) => JSON.stringify(x, undefined, "\t").replace(/"|,|{|}/g, ""))
.join(" ");
logsWrapper.appendChild(log);
setTimeout(() => log.remove(), 3000);
};