(I did, however, notice an odd file-clobbering problem which seems to have eaten >>>/m/1760 and >>>/m/1778. Bug fixed, but unfortunately those two files are lost.)