<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta content="text/html;charset=UTF-8" http-equiv="Content-Type">
</head>
<body bgcolor="#ffffcc" text="#000000">
<br>
I think we should put a URL in the release notes, rather than an
explicit list, so that it's current whenever people read it.<br>
<br>
Mark<br>
</body>
</html>