Back in late January I reported that my workstation at UIUC was going to be taken down. It took a while because another website on the machine needed to be moved first, but that is apparently done because Proteus is now down.