in channels_diff.js [28:42]
function setURL() {
let url = new URL(location.href);
let property = getOption("property");
let value = getOption("value");
if (!property) {
url.search = "";
} else if (!value) {
url.search = "?property=" + property;
} else {
url.search = "?property=" + property + "&value=" + value;
}
history.replaceState({}, document.title, url.href);
}