<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<div dir="auto">I'm for a new version too if it fixes that bug, but wouldn't it be less confusing to leave the name the same and just have the new maintainer take over? Some people don't subscribe to this list and wouldn't see the announcement.</div>
</body>
</html>