Note: After saving, you have to bypass your browser's cache to see the changes. Google Chrome, Firefox, Microsoft Edge and Safari: Hold down the ⇧ Shift key and click the Reload toolbar button. For details and instructions about other browsers, see Wikipedia:Bypass your cache.
addOnloadHook(function()
{
	var rtb = document.getElementById("RealTitleBanner");
	if(!rtb) return;
	rtb.style.display = "none";
	document.getElementById("content").
		getElementsByTagName("H1").item(0).innerHTML =
		document.getElementById("RealTitle").innerHTML;
});