<!DOCTYPE html> <html> <head><title>Notes</title> <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII"> <meta name="generator" content="hevea 2.06"> <META name="Author" content="Luc Maranget"><link rel="stylesheet" type="text/css" href="manual.css"> </head> <body> <hr class="ffootnoterule"><dl class="thefootnotes"><dt class="dt-thefootnotes"> <a id="note7" href="manual015.html#text7">6</a></dt><dd class="dd-thefootnotes"><div class="footnotetext">Sent to a separate file</div> </dd><dt class="dt-thefootnotes"><a id="note8" href="manual016.html#text8">7</a></dt><dd class="dd-thefootnotes"><div class="footnotetext">Sent to a separate file</div> </dd></dl> </body></html>