>
      <div class="title">spotexport</div>
      <div class="helptext"><pre><!--helptext --> <span class="helptopic">spotexport</span>  Exports Spot to a zip file.
  Uses the version of Spot most recently commited to git. In order to use
  the most up-to-date help browser files, run spothelpbrowser and commit
  before running spotexport.</pre></div><!--after help -->
   </body>
</html>