🚀 go-pugleaf

We've had 8 or 9 terminals by Direct Inc around here for quite some
time.  Since we picked them up 2nd hand, we have no documentation.
Most are model 831's, and one is an 800/A.  We've got them pretty well
figured out (the 831's are vt100 supersets, and we have a termcap for
the 800/A), but, since we have no manuals, there are a few things that
remain a mystery.  One of these is a biggy: how do you save the setup
modes?

So, my query/request: ideally, I'd love to get copies of the manuals
for these things; failing that, any info would be helpful.  Even a
current e?mail address for Direct would be useful.

Thanks.

--richard