
<html> 

 <head></head> 

 <body>

  <div style="font-family:monospace"> <span dir="ltr" style="margin-top:0; margin-bottom:0;">Thanks for doing this, Jonathan. The navigation fixes are especially nice.</span> 

   <br> <span dir="ltr" style="margin-top:0; margin-bottom:0;">Pete</span> 

   <br>  

  </div>

 </body>

</html>