There turns out to be an ops5 in CL at CMU, in addition to the one done here. A cursory inspection of the CMU one indicates that the changes made were quite similar to those in our version. Unless someone is desperate for a copy, I suggest holding off a few weeks until we get a chance to more carefully compare the two and perhaps put the best of both in one system. Distribution in either case would be public domain.