A while ago, someone (David?) very helpfully set up the dhcp server to assign my old laptop to a static IP and the host name of led.tcmaker.org.
I was hoping to update that information to use the MAC address of b8:27:eb:7b:5f:95; that corresponds to the new Raspberry Pi I've dropped in to drive the whole mess. The Pi rig is comletely headless, so I need to be sure to have that working before I can install it and operate it.
If someone can make that change, or tell me who to bug, I'd appreciate it.