Server downtime

BlkIntel1 has been down for a few days, due to a virus. The virus should be gone now, and the server is up and running again.
Expect the server to be down soon for hardware upgrades tho.