<!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 dir="ltr" bgcolor="#ffffff" text="#000000">
<p style="margin-bottom: 0cm; margin-top: 0pt;">Just a "thank you" to
whoever is in charge of the revised modules page.</p>
<p style="margin-bottom: 0cm; margin-top: 0pt;">After quite a long (and
indeed annoying) period of time where you had to reload the page to get
another version, it is now very comfortable to browse for modules.</p>
<p style="margin-bottom: 0cm; margin-top: 0pt;"><br>
</p>
<p style="margin-bottom: 0cm; margin-top: 0pt;">Hip hip - Horray!<br>
</p>
<p style="margin-bottom: 0cm; margin-top: 0pt;"><br>
</p>
<p style="margin-bottom: 0cm; margin-top: 0pt;">Zohar</p>
</body>
</html>