<div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">downtime).  This happens much later in the release cycle, though;<br>

nothing will happen for a few months.<br>
</blockquote></div><br><br>THX for answering. Now I know.<br>/Federico<br>