28+ HTML elements
      which speeds debugging.</li>
  <li><a href="?"><tt><span class="basename"></span>?</tt></a> &mdash;
      Quick browsing of canned results from Chrome.</li>
</ul>
<script>(function () {
  var basename = location.pathname.replace(/^[\s\S]*\//, '');
  function toCss(s) {
    return ('\x22'
        + s.replace(/[^\w\-.]/g, function (c) {
                      return '\\' + c.charCodeAt(0).toString(16) + ' ';
                    })
        + '\x22');
  }
  document.write('<style>.basenam