=== Guest35096 is now known as fredp === fredp is now known as Guest67422 === Guest67422 is now known as fredp === fredp is now known as Guest3692 === Guest3692 is now known as fredp === fredp is now known as Guest35913 [23:11] The wiki seems to be down. [23:11] The download page is thus inaccessible.