* ’ typographic apostrophe
*
-->
+<dl class="masthead"><!-- hidden for masthead class -->
+<!-- FIXME: is there a better way to do this? We need to propagate
+ content to the "as-page-title" and "as-page-subtitle" place-holders,
+ within the "page-content" div of "index.html"; our javascript page
+ loader will explicitly look for these hidden elements, and copy
+ their content into the corresponding visible place-holders.
+-->
+ <dt id="page-title">MinGW.org Server Error</dt>
+</dl><!-- masthead -->
<h2>Page Not Found</h2>
<p>The MinGW.org web‑site is undergoing an overhaul,
whilst in the process of transferring to a new hosting provider.