
<html>

  <head>


    <meta http-equiv="content-type" content="text/html; charset=utf-8">

  </head>

  <body bgcolor="#FFFFFF" text="#000000">

    <p>This has been this way for aeons, but it surprised me:<br>

    </p>

    <p><font face="Georgia">false | 'hello'  ==> 'hello'</font></p>

    <p>Does anything actually depend on this being this way?<br>

    </p>

  </body>

</html>