Document (or remove) the baselite artefact

[gouttegd]

One of the optional artefact the ODK can generate is -baselite, which (if I am not mistaken) corresponds to what used to be the -base artefact before we switched to the new definition of “base”.

Seemingly the only “documentation” about -baselite is this comment in the generated standard Makefile:

# baselite: All the axioms as they are editted by the editors, excluding reasoning. This is currently the same as "base". Only to be used experimentally (may disappear in future ODK releases).

and that comment appears to be misleading as -baselite is certainly not “the same as -base“.

If that product is supposed to remain available as an option, it should be properly documented (including in the OBOOK, in the section about Release Artefacts).

Alternatively, should that type of artefact be removed entirely, as the comment already suggests?

[matentzn]

I personally see no good reason to maintain it - @dosumis was the person most insisting on its availability. Maybe check with him!