
<!DOCTYPE html>

<html>

<head>

<meta http-equiv="Content-Type" content="text/xhtml; charset=utf-8">

</head>

<body><div style="font-family:sans-serif"><div style="white-space:normal"><p dir="auto">Randall,</p>

<blockquote style="border-left:2px solid #777; color:#777; margin:0 0 5px; padding-left:5px"><p dir="auto">Is Benny aware of this?</p>

</blockquote><p dir="auto">I don't know. But it has certainly been mentioned on this list several times through the years by other users.</p>

<p dir="auto">It's never really bothered me enough to file a bug report ...</p>

<p dir="auto">Cheers

<br>

Ian</p>

</div>

</div></body>


</html>