It currently looks for demo.sharedname.org, as well as
[abcde].demo.sharedname.org which are the specific servers.
a ashby
b norbert
c jonathan's machine
d standford's machine
e is unassigned as yet.
We have two messages about d and e. However e was just set up at that
domain name, so we should see a recovery note soon.
The plan is to use this monitoring to remove/re-add shared name
servers to the set that are in circulation, and to extend it to
mapped-to URIs to detect when a redirect rule has gone bad.
-Alan