On Sat, 3 Apr 2021, Sven Schreiber wrote:
Hi,
there are weird things in the mentioned file, e.g.: "considered close if
they lie within ε of each other."
Not totally weird, unicode 0949 is epsilon.
This breaks building the pdf docs in current git for me. Are you
also
seeing that?
A new TeX "entity" was needed for XML -> TeX. That's now fixed in
git.
Allin