Folks, I am in the process of changing instances of "halldweb1" to "halldweb" on the wiki. This will take an hour or so. There are a lot of pages to change. Let me know if you see anomalies. -- Mark