Admin/website/overview.html

                 width="250" height="277" />
         </a>
 
         <p>Here is a <a href="//media/pg_preview.mov">hyperlinked preview</a> demonstrating
         Isabelle and ProofGeneral, in <a href="http://www.apple.com/quicktime/download/">QuickTime
-        format</a>, and also as a <a href="//media/pg_preview.pdf">non-hyperlinked preview</a> in PDF.</p>
+        format</a> and in <a href="//media/pg_preview.pdf">PDF</a>.</p>
         <br clear="all"/>
 
       <h2>What Isabelle offers</h2>
 
       <p>Isabelle provides excellent notational support: new notations