One more time: where is the info file format documented ? Gavin answered this. But let me say that what we wrote there does not override actual practice in the programs. Mistakes in the documentation are quite possible; we wrote it just a couple years ago, after decades of Info being in existence.
Anyway, we'll have to think about the case you are presenting. Thanks, k
