[01:22:33] <FONT COLOR="#008080">---</FONT> <font color="#616161">DominusExult is now known as Dominus</font><BR>
[20:02:59] &lt;<font color="#600060">Dominus</font>&gt; maybe we really should move away from SF... but otoh, who cares really anymore...<BR>
[21:46:10] &lt;<font color="#0000C0">Philantrop</font>&gt; Dominus: You really should. To github.<BR>