Sorry for the silence. A major server move is now complete so posting (and commenting) can resume as necessary. Let me know if you run into any strangeness.