if (navigator.vendor.indexOf("Opera") != -1) {
	document.getElementById("singlefile-core-link").href = "https://addons.opera.com/en/search/?query=singlefile+core";
}