These are further ruminations, having had another year to watch how
people do and do not use this system.
Death to `ribbons' and code re-ordering:
No-one uses it, and it's pretty clunky in this system, both
conceptually and implementationally.
Suppressable `detail':
Be able to mark sections as `detail', as well as to be able to put
`\begin{detail}/\end{detail}' around arbitrary stuff. Obviously,
you then want to format with/without the details in.
A minimally-extensible notation?
Texinfo now supports setting and testing of variables, and the using
the values thereof.
Support "all non-code is raw XXX":
Something like: given a flag `-r latex', then all non-code would be
taken to be pure LaTeX and wouldn't be mangled at all.
Another likely possibility: a `-r verbatim', to support the dubious
`verbatim' script that's popular in some circles.