> could you please also document your new InsetInfo feature in the > Customization or Extended manual?
I am not sure we want to do that. This feature is designed for document maintainers. I do not see any use of this for normal users. I can of course document this feature if you think this is needed. Bo
