ndow.location.pathname.replace('about.html','')
                + query
                + '"&gt;&lt;/a&gt;&lt;/p&gt;&lt;/iframe&gt;';
        }

        var toggledElement = null;
        function toggle(id) {
            const element = document.getElementById(id);
            if (toggledElement) toggledElement.hidden = 'until-found';
            if (element == toggledElement) toggledElement = null;
            else {
                element.hidden = false;
                toggledElement = element;
       