Hi @mnauwelaerts (and @dhaumann), thanks for updating the documentation. Please note that this specific change broke the documentation, though; @yurchor fixed it (see ea39afd8). Please check the documentation with meinproc5 before committing (maybe we could add an automated check on merge request when we switch all projects to gitlab).

Oops, sorry about that. Though I did process the documentation with meinproc5 and it did not complain. Even the "entity trick" came out ok (at least in the plain html case).

Unfortunately the fix now has a copy-paste from the config file in place, which will get out of sync when the config file gets updated. So if there are more experienced/expert suggestions on avoiding such copy-paste by means of some sort of include?

No. There is no way to keep the mutual position in the directory tree for the docs in the source, compiled docs, and installed docs. So I'd prefer to keep this as is.

It's not a big deal anyway, but it would make the translator job easier if the screen block starts after the finished paragraph (</para>).

Thanks for fixing!