some HLL comments

Raul Miller
Wed, 8 Mar 95 10:37 EST

I suppose the ideal solution for the server cache problem would be to
allow manual intervention by arbitrary users to request a queue flush
of a specific document.

This could be made more robust if http had a way of getting an md5sum
tag for a document/revision...