I have made changes (in the source) which will make the FINGER server do substantially less paging and (I think) no consing. This seemed to be causing stoppage of the machine for several seconds when the name dragon on AI asked it who was logged in.