docs/PluckerDB.tex? Really HTML?

[Bill Janssen]

Is docs/PluckerDB.tex really the specification of the database format?

Why is it expressed as a TeX file when it's really HTML inside?

I'm asking because I'd like to expand it to explicitly include the
standard Palm database header structure, which is currently implicitly
included.

Bill