osts.html">Posts</a></li>
          <li><a href="./research.html">Research</a></li>
          <li><a href="./free-software.html">Free Software</a></li>
          <li><a href="./about.html">About</a></li>
        </ul>
      </div>
      <!-- A table of contents on the left side, but only for screens
           that are big enough -->
        
    </div>
    <div class="text-space">
      <div id="content">
        <!-- We want to include the RSS/Atom feed in certain scenarios,
             but this shouldn'