Use of positions sloppy

A content ERROR was logged by "Florian Rabe" at the following url:

https://courses.voll-ki.fau.de/course-notes/ai-1?inDocPath=o2u9pq.-a5igxw.a8b7qu%7E93c8176a

The issue as described by the user:

The use of positions here does not take capture into account, e.g., (forall x.P(x))[P(x)]_<2> causes trouble when replacing.

The text highlighted while reporting this issue:

position

The selected text was in the following section hierarchy:

INNERMOST SECTION FIRST

1. GitLab: https://gl.mathhub.info/smglom/grammar/-/blob/main/source/mod/position.en.tex
   FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=smglom/grammar&filepath=mod/position.en.xhtml&bindings=0_4_1c8Hb3FNKy6Obc6

2. GitLab: https://gl.mathhub.info/courses/Jacobs/GenCS/course/-/blob/main/source/logic/slides/positions.en.tex
   FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=courses/Jacobs/GenCS/course&filepath=logic/slides/positions.en.xhtml&bindings=0_3_ixaNgpWW8wHxNw

3. GitLab: https://gl.mathhub.info/courses/FAU/AI/course/-/blob/main/source/logic/sec/nd1.en.tex
   FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=courses/FAU/AI/course&filepath=logic/sec/nd1.en.xhtml&bindings=0_0_fOuykgrEE

4. GitLab: https://gl.mathhub.info/courses/FAU/AI/course/-/blob/main/source/logic/sec/pl1.en.tex
   FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=courses/FAU/AI/course&filepath=logic/sec/pl1.en.xhtml&bindings=0_0_XmG2r9q

5. GitLab: https://gl.mathhub.info/courses/FAU/AI/course/-/blob/main/source/course/sec/krinf.en.tex
   FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=courses/FAU/AI/course&filepath=course/sec/krinf.en.xhtml&bindings=0_0_OE

6. GitLab: https://gl.mathhub.info/courses/FAU/AI/course/-/blob/main/source/course/notes/notes1.tex
   FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=courses/FAU/AI/course&filepath=course/notes/notes1.xhtml