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