07/15   Soda's process scheduler has been tweaked.  If the system feels
        different, mail dpetrou and jwm.  (Please rule out net lag first.)