>>>>> On Sun, 07 Jan 2024, Ulrich Mueller wrote:

> I cannot really see a delineation between app-text and app-doc.

Sorry, this should read "between app-text and dev-doc", of course.