rbeezer opened this issue 2 years ago · 0 comments
From @mcantino1, which I think belongs here:
PreTeXtBook/pretext#1901