There's no disagreement b/w you two. Our terminals are diskless, so
a Twrite was already made and probably you also got your Rwrite
(because you saw the buffer status changed in acme); a reset suffices.

Of course, the file server is a world appart, and we halt it prior to
reset (we do the same for local fossils on terminals).