-<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 Mailing-Lists</dt>
- <dt id="page-subtitle">Mailing-Lists and Mail Archives Operated by MinGW.org</dt>
-</dl><!-- masthead -->
-<p>MinGW.org’s preferred method for communication,
+<script class="masthead">
+/* Script fragment, to assign titles specific to this page; this is
+ * encapsulated within the "masthead", where such titles are displayed,
+ * to ensure that whatever page content may follow will be correctly
+ * positioned, relative to the masthead content.
+ */
+ set_page("title", "MinGW.OSDN Mailing-Lists");
+ set_page("subtitle", "Mailing-Lists and Mail Archives Operated by MinGW.OSDN");
+</script><!-- masthead -->
+<p>MinGW.OSDN’s preferred method for communication,