<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">
</head>
<body>
...probably time. A few small fixes since beta 1. Any objections? —Steve
</body>
</html>