RFC: future directions of the documentation after the XML migration

[Mark Linimon]

I'm ambivalent about whether they should be deleted or archived intto
some "historic/" subdirectory, but they don't need to be things that
first-time users encounter.

mcl