[02:44:34] <FONT COLOR="#008080">---</FONT> <font color="#616161">DominusExult is now known as Dominus</font><BR>
[08:25:30] &lt;<font color="#600060">Dominus</font>&gt; Kirben: many thanks, and sorry that it got a bit more work than just changing the installer!<BR>