CTAN sync 202202270301

54 files changed, 100 insertions, 136 deletions

diff --git a/macros/latex/contrib/stex/README.md b/macros/latex/contrib/stex/README.md
index 4d0b3afbe0..13caa1f734 100644
--- a/macros/latex/contrib/stex/README.md
+++ b/macros/latex/contrib/stex/README.md
@@ -16,7 +16,7 @@ Michael Kohlhase, Dennis Müller, FAU Erlangen-Nürnberg.
 
 ## Documentation
 See the
-[documentation of the sTeX package](https://github.com/slatex/sTeX/blob/main/doc/stex-manual.pdf)
+[documentation of the sTeX package](https://github.com/slatex/sTeX/blob/main/doc/stex-doc.pdf)
 for details.
 
 ## Setup
diff --git a/macros/latex/contrib/stex/doc/packages/basics.tex b/macros/latex/contrib/stex/doc/packages/stex-basics.tex
index daa6d6418d..daa6d6418d 100644
--- a/macros/latex/contrib/stex/doc/packages/basics.tex
+++ b/macros/latex/contrib/stex/doc/packages/stex-basics.tex
diff --git a/macros/latex/contrib/stex/doc/packages/document-structure.tex b/macros/latex/contrib/stex/doc/packages/stex-document-structure.tex
index 1c8fe97dac..1c8fe97dac 100644
--- a/macros/latex/contrib/stex/doc/packages/document-structure.tex
+++ b/macros/latex/contrib/stex/doc/packages/stex-document-structure.tex
diff --git a/macros/latex/contrib/stex/doc/packages/features.tex b/macros/latex/contrib/stex/doc/packages/stex-features.tex
index e70bbaa0e8..e70bbaa0e8 100644
--- a/macros/latex/contrib/stex/doc/packages/features.tex
+++ b/macros/latex/contrib/stex/doc/packages/stex-features.tex
diff --git a/macros/latex/contrib/stex/doc/packages/hwexam.tex b/macros/latex/contrib/stex/doc/packages/stex-hwexam.tex
index 5f1758b015..5f1758b015 100644
--- a/macros/latex/contrib/stex/doc/packages/hwexam.tex
+++ b/macros/latex/contrib/stex/doc/packages/stex-hwexam.tex
diff --git a/macros/latex/contrib/stex/doc/packages/inheritance.tex b/macros/latex/contrib/stex/doc/packages/stex-inheritance.tex
index 41631f94d2..41631f94d2 100644
--- a/macros/latex/contrib/stex/doc/packages/inheritance.tex
+++ b/macros/latex/contrib/stex/doc/packages/stex-inheritance.tex
diff --git a/macros/latex/contrib/stex/doc/packages/mathhub.tex b/macros/latex/contrib/stex/doc/packages/stex-mathhub.tex
index 4b05134e70..4b05134e70 100644
--- a/macros/latex/contrib/stex/doc/packages/mathhub.tex
+++ b/macros/latex/contrib/stex/doc/packages/stex-mathhub.tex
diff --git a/macros/latex/contrib/stex/doc/packages/metatheory.tex b/macros/latex/contrib/stex/doc/packages/stex-metatheory.tex
index 1585ba504c..1585ba504c 100644
--- a/macros/latex/contrib/stex/doc/packages/metatheory.tex
+++ b/macros/latex/contrib/stex/doc/packages/stex-metatheory.tex
diff --git a/macros/latex/contrib/stex/doc/packages/modules.tex b/macros/latex/contrib/stex/doc/packages/stex-modules.tex
index c067f28a1c..c067f28a1c 100644
--- a/macros/latex/contrib/stex/doc/packages/modules.tex
+++ b/macros/latex/contrib/stex/doc/packages/stex-modules.tex
diff --git a/macros/latex/contrib/stex/doc/packages/problem.tex b/macros/latex/contrib/stex/doc/packages/stex-problem.tex
index 1ce5aaa3a2..1ce5aaa3a2 100644
--- a/macros/latex/contrib/stex/doc/packages/problem.tex
+++ b/macros/latex/contrib/stex/doc/packages/stex-problem.tex
diff --git a/macros/latex/contrib/stex/doc/packages/sproofs.tex b/macros/latex/contrib/stex/doc/packages/stex-proofs.tex
index 0523c65948..0523c65948 100644
--- a/macros/latex/contrib/stex/doc/packages/sproofs.tex
+++ b/macros/latex/contrib/stex/doc/packages/stex-proofs.tex
diff --git a/macros/latex/contrib/stex/doc/packages/references.tex b/macros/latex/contrib/stex/doc/packages/stex-references.tex
index bf8a8ed66c..bf8a8ed66c 100644
--- a/macros/latex/contrib/stex/doc/packages/references.tex
+++ b/macros/latex/contrib/stex/doc/packages/stex-references.tex
diff --git a/macros/latex/contrib/stex/doc/packages/slides.tex b/macros/latex/contrib/stex/doc/packages/stex-slides.tex
index 1f9d0c989d..1f9d0c989d 100644
--- a/macros/latex/contrib/stex/doc/packages/slides.tex
+++ b/macros/latex/contrib/stex/doc/packages/stex-slides.tex
diff --git a/macros/latex/contrib/stex/doc/packages/statements.tex b/macros/latex/contrib/stex/doc/packages/stex-statements.tex
index aa9f5f76ab..aa9f5f76ab 100644
--- a/macros/latex/contrib/stex/doc/packages/statements.tex
+++ b/macros/latex/contrib/stex/doc/packages/stex-statements.tex
diff --git a/macros/latex/contrib/stex/doc/packages/symbols.tex b/macros/latex/contrib/stex/doc/packages/stex-symbols.tex
index 50b450a248..50b450a248 100644
--- a/macros/latex/contrib/stex/doc/packages/symbols.tex
+++ b/macros/latex/contrib/stex/doc/packages/stex-symbols.tex
diff --git a/macros/latex/contrib/stex/doc/packages/terms.tex b/macros/latex/contrib/stex/doc/packages/stex-terms.tex
index cc67ce0c7f..cc67ce0c7f 100644
--- a/macros/latex/contrib/stex/doc/packages/terms.tex
+++ b/macros/latex/contrib/stex/doc/packages/stex-terms.tex
diff --git a/macros/latex/contrib/stex/doc/packages/tikzinput.tex b/macros/latex/contrib/stex/doc/packages/stex-tikzinput.tex
index fb7d0c1e5b..fb7d0c1e5b 100644
--- a/macros/latex/contrib/stex/doc/packages/tikzinput.tex
+++ b/macros/latex/contrib/stex/doc/packages/stex-tikzinput.tex
diff --git a/macros/latex/contrib/stex/doc/abstract.tex b/macros/latex/contrib/stex/doc/stex-abstract.tex
index 445bbf064a..445bbf064a 100644
--- a/macros/latex/contrib/stex/doc/abstract.tex
+++ b/macros/latex/contrib/stex/doc/stex-abstract.tex
diff --git a/macros/latex/contrib/stex/doc/stex-doc.pdf b/macros/latex/contrib/stex/doc/stex-doc.pdf
index dbf89047e9..7499111fa8 100644
--- a/macros/latex/contrib/stex/doc/stex-doc.pdf
+++ b/macros/latex/contrib/stex/doc/stex-doc.pdf
diff --git a/macros/latex/contrib/stex/doc/stex-doc.tex b/macros/latex/contrib/stex/doc/stex-doc.tex
index 8bd790dcb8..d2e8239083 100644
--- a/macros/latex/contrib/stex/doc/stex-doc.tex
+++ b/macros/latex/contrib/stex/doc/stex-doc.tex
@@ -1,5 +1,5 @@
 \def\bibfolder{../lib/bib}
-\input{docheader}
+\input{stex-docheader}
 \infulldoctrue
 
 \ExplSyntaxOn
@@ -24,7 +24,7 @@
 	\pagenumbering{roman}
 	\maketitle
 	
-	\input{abstract}\bigskip
+	\input{stex-abstract}\bigskip
 
 	This is the full documentation of \sTeX. It
 	consists of four parts:
@@ -172,19 +172,19 @@
 \DisableImplementation
 
 
-\DocInput{../source/stex/basics.dtx}
-\DocInput{../source/stex/mathhub.dtx}
-\DocInput{../source/stex/references.dtx}
-\DocInput{../source/stex/modules.dtx}
-\DocInput{../source/stex/inheritance.dtx}
-\DocInput{../source/stex/symbols.dtx}
-\DocInput{../source/stex/terms.dtx}
-\DocInput{../source/stex/features.dtx}
-\DocInput{../source/stex/statements.dtx}
-\DocInput{../source/stex/sproof.dtx}
+\DocInput{../source/stex/stex-basics.dtx}
+\DocInput{../source/stex/stex-mathhub.dtx}
+\DocInput{../source/stex/stex-references.dtx}
+\DocInput{../source/stex/stex-modules.dtx}
+\DocInput{../source/stex/stex-inheritance.dtx}
+\DocInput{../source/stex/stex-symbols.dtx}
+\DocInput{../source/stex/stex-terms.dtx}
+\DocInput{../source/stex/stex-features.dtx}
+\DocInput{../source/stex/stex-statements.dtx}
+\DocInput{../source/stex/stex-proofs.dtx}
 
-\OmitDocInput{../source/stex/others.dtx}
-\DocInput{../source/stex/metatheory.dtx}
+\OmitDocInput{../source/stex/stex-others.dtx}
+\DocInput{../source/stex/stex-metatheory.dtx}
 
 \part{Extensions}\label{part:extensions}
 
diff --git a/macros/latex/contrib/stex/doc/docheader.tex b/macros/latex/contrib/stex/doc/stex-docheader.tex
index d0f13e90b3..d0f13e90b3 100644
--- a/macros/latex/contrib/stex/doc/docheader.tex
+++ b/macros/latex/contrib/stex/doc/stex-docheader.tex
diff --git a/macros/latex/contrib/stex/doc/stex-manual.pdf b/macros/latex/contrib/stex/doc/stex-manual.pdf
index 861f9cc111..80b4154b9a 100644
--- a/macros/latex/contrib/stex/doc/stex-manual.pdf
+++ b/macros/latex/contrib/stex/doc/stex-manual.pdf
diff --git a/macros/latex/contrib/stex/doc/stex-manual.tex b/macros/latex/contrib/stex/doc/stex-manual.tex
index 963336308c..92834af1c5 100644
--- a/macros/latex/contrib/stex/doc/stex-manual.tex
+++ b/macros/latex/contrib/stex/doc/stex-manual.tex
@@ -8,7 +8,7 @@
 
 \def\bibfolder{../lib/bib}
 
-\input{docheader}
+\input{stex-docheader}
 
 \infulldoctrue
 
@@ -27,7 +27,7 @@
 	\pagenumbering{roman}
 	\maketitle
 	
-	\input{abstract}\bigskip
+	\input{stex-abstract}\bigskip
 
   This is the user manual for the \sTeX package and 
   associated software. It is primarily directed at end-users 
@@ -449,15 +449,15 @@ which can thus be integrated as additional services into the system.
 \end{sfragment}
 
 \begin{sfragment}{Using \sTeX}
-  \input{packages/basics}
+  \input{packages/stex-basics}
   
-  \input{packages/terms}
+  \input{packages/stex-terms}
 
-  \input{packages/references}
+  \input{packages/stex-references}
 \end{sfragment}
 
 \begin{sfragment}[id=sec.stexarchives]{\sTeX Archives}
-  \input{packages/mathhub}
+  \input{packages/stex-mathhub}
 \end{sfragment}
 
 \begin{sfragment}{Creating New Modules and Symbols}
@@ -470,38 +470,38 @@ which can thus be integrated as additional services into the system.
     \end{smodule}
    }
    
-  \input{packages/modules}
+  \input{packages/stex-modules}
 
-  \input{packages/symbols}
+  \input{packages/stex-symbols}
 
-  \input{packages/inheritance}
+  \input{packages/stex-inheritance}
 
   \begin{sfragment}{Advanced Structuring Mechanisms}
-    \input{packages/features}
+    \input{packages/stex-features}
   \end{sfragment}
   \begin{sfragment}{Primitive Symbols (The \sTeX Metatheory)}
-    \input{packages/metatheory}
+    \input{packages/stex-metatheory}
   \end{sfragment}
 \end{sfragment}
 
 \begin{sfragment}{\sTeX Statements (Definitions, Theorems, Examples, ...)}
-  \input{packages/statements}
+  \input{packages/stex-statements}
 
-  \input{packages/sproofs}
+  \input{packages/stex-proofs}
 \end{sfragment}
 
 \begin{sfragment}{Additional Packages}
-  \input{packages/tikzinput}
+  \input{packages/stex-tikzinput}
   \begin{sfragment}{Modular Document Structuring}
-    \input{packages/document-structure}
+    \input{packages/stex-document-structure}
   \end{sfragment}
   \begin{sfragment}{Slides and Course Notes}
-    \input{packages/slides}
+    \input{packages/stex-slides}
   \end{sfragment}
   \begin{sfragment}{Homework, Problems and Exams}
-    \input{packages/problem}
+    \input{packages/stex-problem}
     
-    \input{packages/hwexam}
+    \input{packages/stex-hwexam}
   \end{sfragment}
 
 \end{sfragment}
diff --git a/macros/latex/contrib/stex/doc/tests/Bar/Foo/meta-inf/MANIFEST.MF b/macros/latex/contrib/stex/doc/tests/Bar/Foo/meta-inf/MANIFEST.MF
deleted file mode 100644
index decdfb78bc..0000000000
--- a/macros/latex/contrib/stex/doc/tests/Bar/Foo/meta-inf/MANIFEST.MF
+++ /dev/null
@@ -1,2 +0,0 @@
-id: Bar/Foo
-ns: http://mathhub.info/tests/Bar/Foo/
diff --git a/macros/latex/contrib/stex/doc/tests/Bar/Foo/source/circular2.tex b/macros/latex/contrib/stex/doc/tests/Bar/Foo/source/circular2.tex
deleted file mode 100644
index f57580414a..0000000000
--- a/macros/latex/contrib/stex/doc/tests/Bar/Foo/source/circular2.tex
+++ /dev/null
@@ -1,15 +0,0 @@
-\def\mathhub{../../../}
-
-\documentclass[debug]{stex}
-
-\begin{document}
-
-\begin{smodule}{Circular2}
-	\symdef{fooB}{\beta}
-	\importmodule[Foo/Bar]{circular1?Circular1}
-	\symdecl{fooAb}[def=\fooA]
-	\notation{fooAb}{\alpha'}
-	$\fooA$
-\end{smodule}
-
-\end{document}
\ No newline at end of file
diff --git a/macros/latex/contrib/stex/doc/tests/Foo/Bar/meta-inf/MANIFEST.MF b/macros/latex/contrib/stex/doc/tests/Foo/Bar/meta-inf/MANIFEST.MF
deleted file mode 100644
index 2edd1633a4..0000000000
--- a/macros/latex/contrib/stex/doc/tests/Foo/Bar/meta-inf/MANIFEST.MF
+++ /dev/null
@@ -1,2 +0,0 @@
-id: Foo/Bar
-ns: http://mathhub.info/tests/Foo/Bar
diff --git a/macros/latex/contrib/stex/doc/tests/Foo/Bar/source/circular1.tex b/macros/latex/contrib/stex/doc/tests/Foo/Bar/source/circular1.tex
deleted file mode 100644
index 1f88362f33..0000000000
--- a/macros/latex/contrib/stex/doc/tests/Foo/Bar/source/circular1.tex
+++ /dev/null
@@ -1,13 +0,0 @@
-\def\mathhub{../../../}
-
-\documentclass[debug]{stex}
-
-\begin{document}
-
-\begin{smodule}{Circular1}
-	\symdef{fooA}{\alpha}
-	\usemodule[Bar/Foo]{circular2?Circular2}
-	$\fooB$ and $\fooAb$
-\end{smodule}
-
-\end{document}
\ No newline at end of file
diff --git a/macros/latex/contrib/stex/doc/tests/sometest.tex b/macros/latex/contrib/stex/doc/tests/sometest.tex
deleted file mode 100644
index 7946b85c60..0000000000
--- a/macros/latex/contrib/stex/doc/tests/sometest.tex
+++ /dev/null
@@ -1,3 +0,0 @@
-\this is \a test
-
-this \is a \test 
diff --git a/macros/latex/contrib/stex/source/extensions/Makefile b/macros/latex/contrib/stex/source/extensions/Makefile
index 6a6b18a4c8..67f1356953 100644
--- a/macros/latex/contrib/stex/source/extensions/Makefile
+++ b/macros/latex/contrib/stex/source/extensions/Makefile
@@ -1,6 +1,6 @@
 DTX =  $(shell ls *.dtx)
 DOC =  $(DTX:%.dtx=%.pdf)
-INS =  extensions.ins
+INS =  stex-extensions.ins
 
 PDFLATEX = pdflatex -interaction=batchmode
 TEXDIR = ../../tex
diff --git a/macros/latex/contrib/stex/source/extensions/document-structure.dtx b/macros/latex/contrib/stex/source/extensions/document-structure.dtx
index 80c95d643b..6db3bf4d7c 100644
--- a/macros/latex/contrib/stex/source/extensions/document-structure.dtx
+++ b/macros/latex/contrib/stex/source/extensions/document-structure.dtx
@@ -10,7 +10,7 @@
 %
 %<*driver>
 \def\bibfolder{../../lib/bib}
-\input{../../doc/docheader}
+\input{../../doc/stex-docheader}
 
 \begin{document}
   \DocInput{\jobname.dtx}
@@ -36,7 +36,7 @@
 %  see \href{\basedocurl/manual.pdf}{the \sTeX Manual} or the
 % \href{\basedocurl/stex.pdf}{full \sTeX documentation}.
 %
-% \input{../../doc/packages/document-structure}
+% \input{../../doc/packages/stex-document-structure}
 % \fi
 %
 %
@@ -293,7 +293,7 @@
 %    \begin{macrocode}
 %<*cls>
 %<@@=document_structure>
-\ProvidesExplClass{document-structure}{2022/02/24}{3.0.0}{Modular Document Structure Class}
+\ProvidesExplClass{document-structure}{2022/02/26}{3.0.1}{Modular Document Structure Class}
 \RequirePackage{l3keys2e}
 %    \end{macrocode}
 %
@@ -377,7 +377,7 @@
 %
 %    \begin{macrocode}
 %<*package>
-\ProvidesExplPackage{document-structure}{2022/02/24}{3.0.0}{Modular Document Structure}
+\ProvidesExplPackage{document-structure}{2022/02/26}{3.0.1}{Modular Document Structure}
 \RequirePackage{l3keys2e}
 %    \end{macrocode}
 %
@@ -414,7 +414,7 @@
 	\ltx@ifpackageloaded{babel}{
     \clist_set:Nx \l_tmpa_clist {\bbl@loaded}
     \clist_if_in:NnT \l_tmpa_clist {ngerman}{
-      \makeatletter\input{omdoc-ngerman.ldf}\makeatother
+      \makeatletter\input{document-structure-ngerman.ldf}\makeatother
     }
   }{}
 }
diff --git a/macros/latex/contrib/stex/source/extensions/hwexam.dtx b/macros/latex/contrib/stex/source/extensions/hwexam.dtx
index 3136f488d7..2cc3a1bd5b 100644
--- a/macros/latex/contrib/stex/source/extensions/hwexam.dtx
+++ b/macros/latex/contrib/stex/source/extensions/hwexam.dtx
@@ -11,7 +11,7 @@
 %
 %<*driver>
 \def\bibfolder{../../lib/bib}
-\input{../../doc/docheader}
+\input{../../doc/stex-docheader}
 
 \begin{document}
   \DocInput{\jobname.dtx}
@@ -41,7 +41,7 @@
 %  see \href{\basedocurl/manual.pdf}{the \sTeX Manual} or the
 % \href{\basedocurl/stex.pdf}{full \sTeX documentation}.
 %
-% \input{../../doc/packages/hwexam}
+% \input{../../doc/packages/stex-hwexam}
 % \fi
 %
 % \begin{documentation}
@@ -169,7 +169,7 @@
 %    \begin{macrocode}
 %<@@=hwexam>
 %<*cls>
-\ProvidesExplClass{hwexam}{2022/02/24}{3.0.0}{homework assignments and exams}
+\ProvidesExplClass{hwexam}{2022/02/26}{3.0.1}{homework assignments and exams}
 \RequirePackage{l3keys2e}
 \DeclareOption*{
   \PassOptionsToClass{\CurrentOption}{document-structure}
@@ -218,7 +218,7 @@
 %
 %    \begin{macrocode}
 %<*package>
-\ProvidesExplPackage{hwexam}{2022/02/24}{3.0.0}{homework assignments and exams}
+\ProvidesExplPackage{hwexam}{2022/02/26}{3.0.1}{homework assignments and exams}
 \RequirePackage{l3keys2e}
 
 \newif\iftest\testfalse
diff --git a/macros/latex/contrib/stex/source/extensions/notesslides.dtx b/macros/latex/contrib/stex/source/extensions/notesslides.dtx
index a6ff395377..d99109ee22 100644
--- a/macros/latex/contrib/stex/source/extensions/notesslides.dtx
+++ b/macros/latex/contrib/stex/source/extensions/notesslides.dtx
@@ -12,7 +12,7 @@
 %
 %<*driver>
 \providecommand\bibfolder{../../lib/bib}
-\input{../../doc/docheader}
+\input{../../doc/stex-docheader}
 
 \begin{document}
   \DocInput{\jobname.dtx}
@@ -40,7 +40,7 @@
 % \def\mathml{{\scshape{MathML}}\xspace}
 % \def\omdoc{OMDoc\xspace}
 % \def\activemath{{\scshape{ActiveMath}}\xspace}
-% \def\textwarning{\includegraphics[width=1.2em]{dangerous-bend}\xspace}
+% \def\textwarning{\includegraphics[width=1.2em]{stex-dangerous-bend}\xspace}
 % 
 % \title{NotesSlides -- Slides and Course Notes\thanks{Version {\fileversion}
 % (last revised {\filedate})}}
@@ -55,7 +55,7 @@
 %  see \href{\basedocurl/manual.pdf}{the \sTeX Manual} or the
 % \href{\basedocurl/stex.pdf}{full \sTeX documentation}.
 %
-% \input{../../doc/packages/slides}
+% \input{../../doc/packages/stex-slides}
 % \fi
 %
 % \begin{documentation}\label{pkg:notesslides:doc}
@@ -296,7 +296,7 @@
 %    \begin{macrocode}
 %<*cls>
 %<@@=notesslides>
-\ProvidesExplClass{notesslides}{2022/02/24}{3.0.0}{notesslides Class}
+\ProvidesExplClass{notesslides}{2022/02/26}{3.0.1}{notesslides Class}
 \RequirePackage{l3keys2e}
 
 \keys_define:nn{notesslides / cls}{
@@ -328,7 +328,7 @@
 % now we do the same for the |notesslides| package. 
 %    \begin{macrocode}
 %<*package>
-\ProvidesExplPackage{notesslides}{2022/02/24}{3.0.0}{notesslides Package}
+\ProvidesExplPackage{notesslides}{2022/02/26}{3.0.1}{notesslides Package}
 \RequirePackage{l3keys2e}
 
 \keys_define:nn{notesslides / pkg}{
@@ -682,7 +682,7 @@
 %    \begin{macrocode}
 \def\copyrightnotice{\footnotesize\copyright :\hspace{.3ex}{\source}}
 \newsavebox{\cclogo}
-\sbox{\cclogo}{\includegraphics[height=\slidelogoheight]{cc_somerights}}
+\sbox{\cclogo}{\includegraphics[height=\slidelogoheight]{stex-cc_somerights}}
 \newif\ifcchref\cchreffalse
 \AtBeginDocument{
   \@ifpackageloaded{hyperref}{\cchreftrue}{\cchreffalse}
@@ -812,17 +812,17 @@
 %   as the macro can be used quite often we put it into a box register, so that it is only
 %   loaded once. 
 %    \begin{macrocode}
-\pgfdeclareimage[width=.8em]{miko@small@dbend}{dangerous-bend}
+\pgfdeclareimage[width=.8em]{miko@small@dbend}{stex-dangerous-bend}
 \def\smalltextwarning{
   \pgfuseimage{miko@small@dbend}
   \xspace
 }
-\pgfdeclareimage[width=1.2em]{miko@dbend}{dangerous-bend}
+\pgfdeclareimage[width=1.2em]{miko@dbend}{stex-dangerous-bend}
 \newrobustcmd\textwarning{
   \raisebox{-.05cm}{\pgfuseimage{miko@dbend}}
   \xspace
 }
-\pgfdeclareimage[width=2.5em]{miko@big@dbend}{dangerous-bend}
+\pgfdeclareimage[width=2.5em]{miko@big@dbend}{stex-dangerous-bend}
 \newrobustcmd\bigtextwarning{
   \raisebox{-.05cm}{\pgfuseimage{miko@big@dbend}}
   \xspace
diff --git a/macros/latex/contrib/stex/source/extensions/problem.dtx b/macros/latex/contrib/stex/source/extensions/problem.dtx
index b21b1c493d..ee7d116fcb 100644
--- a/macros/latex/contrib/stex/source/extensions/problem.dtx
+++ b/macros/latex/contrib/stex/source/extensions/problem.dtx
@@ -11,7 +11,7 @@
 %
 %<*driver>
 \def\bibfolder{../../lib/bib}
-\input{../../doc/docheader}
+\input{../../doc/stex-docheader}
 \RequirePackage[hints,solutions,notes]{problem}
 
 \begin{document}
@@ -41,7 +41,7 @@
 %  see \href{\basedocurl/manual.pdf}{the \sTeX Manual} or the
 % \href{\basedocurl/stex.pdf}{full \sTeX documentation}.
 %
-% \input{../../doc/packages/problem}
+% \input{../../doc/packages/stex-problem}
 % \fi
 %
 % \begin{documentation}
@@ -258,8 +258,8 @@
 %    \begin{macrocode}
 %<*package>
 %<@@=problems>
-\ProvidesExplPackage{problem}{2022/02/24}{3.0.0}{Semantic Markup for Problems}
-\RequirePackage{l3keys2e}
+\ProvidesExplPackage{problem}{2022/02/26}{3.0.1}{Semantic Markup for Problems}
+\RequirePackage{l3keys2e,stex}
 
 \keys_define:nn { problem / pkg }{
   notes     .default:n    = { true },
diff --git a/macros/latex/contrib/stex/source/extensions/extensions.ins b/macros/latex/contrib/stex/source/extensions/stex-extensions.ins
index e3594e88cf..e3594e88cf 100644
--- a/macros/latex/contrib/stex/source/extensions/extensions.ins
+++ b/macros/latex/contrib/stex/source/extensions/stex-extensions.ins
diff --git a/macros/latex/contrib/stex/source/extensions/tikzinput.dtx b/macros/latex/contrib/stex/source/extensions/tikzinput.dtx
index 51a3a7c06a..f183a6e4fa 100644
--- a/macros/latex/contrib/stex/source/extensions/tikzinput.dtx
+++ b/macros/latex/contrib/stex/source/extensions/tikzinput.dtx
@@ -11,7 +11,7 @@
 %
 %<*driver>
 \providecommand\bibfolder{../../lib/bib}
-\input{../../doc/docheader}
+\input{../../doc/stex-docheader}
 
 \begin{document}
   \DocInput{\jobname.dtx}
@@ -36,7 +36,7 @@
 %  see \href{\basedocurl/manual.pdf}{the \sTeX Manual} or the
 % \href{\basedocurl/stex.pdf}{full \sTeX documentation}.
 %
-% \input{../../doc/packages/tikzinput}
+% \input{../../doc/packages/stex-tikzinput}
 % \fi
 %
 % \begin{documentation}\label{pkg:tikzinput:doc}
@@ -58,7 +58,7 @@
 %    \end{macrocode}
 %
 %    \begin{macrocode}
-\ProvidesExplPackage{tikzinput}{2022/02/24}{3.0.0}{tikzinput package}
+\ProvidesExplPackage{tikzinput}{2022/02/26}{3.0.1}{tikzinput package}
 \RequirePackage{l3keys2e}
 
 \keys_define:nn { tikzinput } {
@@ -121,7 +121,7 @@
 %    \end{macrocode}
 %
 %    \begin{macrocode}
-\ProvidesExplPackage{stex-tikzinput}{2022/02/24}{3.0.0}{stex-tikzinput}
+\ProvidesExplPackage{stex-tikzinput}{2022/02/26}{3.0.1}{stex-tikzinput}
 \RequirePackage{stex}
 \RequirePackage{tikzinput}
 
diff --git a/macros/latex/contrib/stex/source/stex/basics.dtx b/macros/latex/contrib/stex/source/stex/stex-basics.dtx
index c2047a39a2..37c55822d8 100644
--- a/macros/latex/contrib/stex/source/stex/basics.dtx
+++ b/macros/latex/contrib/stex/source/stex/stex-basics.dtx
@@ -11,7 +11,7 @@
 %
 %<*driver>
 \providecommand\bibfolder{../../lib/bib}
-\input{../../doc/docheader}
+\input{../../doc/stex-docheader}
 
 \begin{document}
   \DocInput{\jobname.dtx}
@@ -43,7 +43,7 @@
 % and abstractions for |xhtml| annotations.
 %
 %\ifinfulldoc\else
-% \input{../../doc/packages/basics}
+% \input{../../doc/packages/stex-basics}
 % \fi
 %
 %
@@ -150,7 +150,7 @@
 %%%%%%%%%%%%%   basics.dtx   %%%%%%%%%%%%%
 
 \RequirePackage{expl3,l3keys2e}
-\ProvidesExplClass{stex}{2022/02/24}{3.0.0}{sTeX document class}
+\ProvidesExplClass{stex}{2022/02/26}{3.0.1}{sTeX document class}
 \LoadClass[border=1px,varwidth]{standalone}
 \setlength\textwidth{15cm}
 
@@ -169,7 +169,7 @@
 %%%%%%%%%%%%%   basics.dtx   %%%%%%%%%%%%%
 
 \RequirePackage{expl3,l3keys2e,ltxcmds}
-\ProvidesExplPackage{stex}{2022/02/24}{3.0.0}{sTeX package}
+\ProvidesExplPackage{stex}{2022/02/26}{3.0.1}{sTeX package}
 
 %\RequirePackage{morewrites}
 %\RequirePackage{amsmath}
diff --git a/macros/latex/contrib/stex/source/stex/features.dtx b/macros/latex/contrib/stex/source/stex/stex-features.dtx
index 851af04984..27d8f88f95 100644
--- a/macros/latex/contrib/stex/source/stex/features.dtx
+++ b/macros/latex/contrib/stex/source/stex/stex-features.dtx
@@ -11,7 +11,7 @@
 %
 %<*driver>
 \providecommand\bibfolder{../../lib/bib}
-\input{../../doc/docheader}
+\input{../../doc/stex-docheader}
 
 \begin{document}
   \DocInput{\jobname.dtx}
@@ -36,7 +36,7 @@
 %  see \href{\basedocurl/manual.pdf}{the \sTeX Manual} or the
 % \href{\basedocurl/stex.pdf}{full \sTeX documentation}.
 %
-% \input{../../doc/packages/features}
+% \input{../../doc/packages/stex-features}
 % \fi
 %
 % \begin{documentation}\label{pkg:features:doc}
diff --git a/macros/latex/contrib/stex/source/stex/inheritance.dtx b/macros/latex/contrib/stex/source/stex/stex-inheritance.dtx
index 692d7b952c..33c536c3a5 100644
--- a/macros/latex/contrib/stex/source/stex/inheritance.dtx
+++ b/macros/latex/contrib/stex/source/stex/stex-inheritance.dtx
@@ -11,7 +11,7 @@
 %
 %<*driver>
 \providecommand\bibfolder{../../lib/bib}
-\input{../../doc/docheader}
+\input{../../doc/stex-docheader}
 
 \begin{document}
   \DocInput{\jobname.dtx}
@@ -42,7 +42,7 @@
 % Code related to Module Inheritance, in particular \emph{sms mode}.
 %
 %\ifinfulldoc\else
-% \input{../../doc/packages/inheritance}
+% \input{../../doc/packages/stex-inheritance}
 %\fi
 %
 % \section{Macros and Environments}\label{pkg:inheritance:doc:macros}
diff --git a/macros/latex/contrib/stex/source/stex/mathhub.dtx b/macros/latex/contrib/stex/source/stex/stex-mathhub.dtx
index 16ff57ede8..20288212e3 100644
--- a/macros/latex/contrib/stex/source/stex/mathhub.dtx
+++ b/macros/latex/contrib/stex/source/stex/stex-mathhub.dtx
@@ -11,7 +11,7 @@
 %
 %<*driver>
 \providecommand\bibfolder{../../lib/bib}
-\input{../../doc/docheader}
+\input{../../doc/stex-docheader}
 
 \begin{document}
   \DocInput{\jobname.dtx}
@@ -44,7 +44,7 @@
 % files, file paths and related methods.
 %
 % \ifinfulldoc\else
-% \begin{sfragment}{Manual}\input{../../doc/packages/mathhub}\end{sfragment}
+% \begin{sfragment}{Manual}\input{../../doc/packages/stex-mathhub}\end{sfragment}
 % \fi
 %
 % \section{Macros and Environments}\label{pkg:mathhub:doc:macros}
diff --git a/macros/latex/contrib/stex/source/stex/metatheory.dtx b/macros/latex/contrib/stex/source/stex/stex-metatheory.dtx
index a477e67f63..b7e32c23e9 100644
--- a/macros/latex/contrib/stex/source/stex/metatheory.dtx
+++ b/macros/latex/contrib/stex/source/stex/stex-metatheory.dtx
@@ -11,7 +11,7 @@
 %
 %<*driver>
 \providecommand\bibfolder{../../lib/bib}
-\input{../../doc/docheader}
+\input{../../doc/stex-docheader}
 
 \begin{document}
   \DocInput{\jobname.dtx}
@@ -36,7 +36,7 @@
 %  see \href{\basedocurl/manual.pdf}{the \sTeX Manual} or the
 % \href{\basedocurl/stex.pdf}{full \sTeX documentation}.
 %
-% \input{../../doc/packages/metatheory}
+% \input{../../doc/packages/stex-metatheory}
 % \fi
 %
 % \begin{documentation}\label{pkg:metatheory:doc}
diff --git a/macros/latex/contrib/stex/source/stex/modules.dtx b/macros/latex/contrib/stex/source/stex/stex-modules.dtx
index f345e3066b..d5c10964de 100644
--- a/macros/latex/contrib/stex/source/stex/modules.dtx
+++ b/macros/latex/contrib/stex/source/stex/stex-modules.dtx
@@ -11,7 +11,7 @@
 %
 %<*driver>
 \providecommand\bibfolder{../../lib/bib}
-\input{../../doc/docheader}
+\input{../../doc/stex-docheader}
 
 \begin{document}
   \DocInput{\jobname.dtx}
@@ -42,7 +42,7 @@
 % This sub package contains code related to Modules
 %
 % \ifinfulldoc\else
-% \input{../../doc/packages/modules}
+% \input{../../doc/packages/stex-modules}
 % \fi
 %
 % \section{Macros and Environments}\label{pkg:modules:doc:macros}
diff --git a/macros/latex/contrib/stex/source/stex/others.dtx b/macros/latex/contrib/stex/source/stex/stex-others.dtx
index 1905079a9c..96d79939af 100644
--- a/macros/latex/contrib/stex/source/stex/others.dtx
+++ b/macros/latex/contrib/stex/source/stex/stex-others.dtx
@@ -11,7 +11,7 @@
 %
 %<*driver>
 \providecommand\bibfolder{../../lib/bib}
-\input{../../doc/docheader}
+\input{../../doc/stex-docheader}
 
 \begin{document}
   \DocInput{\jobname.dtx}
@@ -32,7 +32,6 @@
 %
 % \begin{documentation}\label{pkg:finally:doc}
 %
-%
 % \end{documentation}
 %
 % \begin{implementation}\label{pkg:finally:impl}
diff --git a/macros/latex/contrib/stex/source/stex/sproof.dtx b/macros/latex/contrib/stex/source/stex/stex-proofs.dtx
index f3cbdb869a..c4bf4e48fb 100644
--- a/macros/latex/contrib/stex/source/stex/sproof.dtx
+++ b/macros/latex/contrib/stex/source/stex/stex-proofs.dtx
@@ -11,7 +11,7 @@
 % \iffalse
 %<*driver>
 \def\bibfolder{../../lib/bib}
-\input{../../doc/docheader}
+\input{../../doc/stex-docheader}
 
 \begin{document}
   \DocInput{\jobname.dtx}
@@ -38,7 +38,7 @@
 %  see \href{\basedocurl/manual.pdf}{the \sTeX Manual} or the
 % \href{\basedocurl/stex.pdf}{full \sTeX documentation}.
 %
-% \input{../../doc/packages/sproofs}
+% \input{../../doc/packages/stex-proofs}
 % \fi
 %
 % \begin{documentation}
diff --git a/macros/latex/contrib/stex/source/stex/references.dtx b/macros/latex/contrib/stex/source/stex/stex-references.dtx
index 3153eeabab..ad94bbedb3 100644
--- a/macros/latex/contrib/stex/source/stex/references.dtx
+++ b/macros/latex/contrib/stex/source/stex/stex-references.dtx
@@ -11,7 +11,7 @@
 %
 %<*driver>
 \providecommand\bibfolder{../../lib/bib}
-\input{../../doc/docheader}
+\input{../../doc/stex-docheader}
 
 \begin{document}
   \DocInput{\jobname.dtx}
@@ -42,7 +42,7 @@
 % This sub package contains code related to links and cross-references
 %
 %\ifinfulldoc\else
-% \input{../../doc/packages/references}
+% \input{../../doc/packages/stex-references}
 % \fi
 %
 % \section{Macros and Environments}\label{pkg:sref:doc:macros}
diff --git a/macros/latex/contrib/stex/source/stex/statements.dtx b/macros/latex/contrib/stex/source/stex/stex-statements.dtx
index 3ddeca0dbd..83e2fbf92b 100644
--- a/macros/latex/contrib/stex/source/stex/statements.dtx
+++ b/macros/latex/contrib/stex/source/stex/stex-statements.dtx
@@ -11,7 +11,7 @@
 %
 %<*driver>
 \providecommand\bibfolder{../../lib/bib}
-\input{../../doc/docheader}
+\input{../../doc/stex-docheader}
 
 \begin{document}
   \DocInput{\jobname.dtx}
@@ -36,7 +36,7 @@
 %  see \href{\basedocurl/manual.pdf}{the \sTeX Manual} or the
 % \href{\basedocurl/stex.pdf}{full \sTeX documentation}.
 %
-% \input{../../doc/packages/statements}
+% \input{../../doc/packages/stex-statements}
 % \fi
 %
 % \begin{documentation}\label{pkg:statements:doc}
diff --git a/macros/latex/contrib/stex/source/stex/symbols.dtx b/macros/latex/contrib/stex/source/stex/stex-symbols.dtx
index da633e1be3..a8b88cfe72 100644
--- a/macros/latex/contrib/stex/source/stex/symbols.dtx
+++ b/macros/latex/contrib/stex/source/stex/stex-symbols.dtx
@@ -11,7 +11,7 @@
 %
 %<*driver>
 \providecommand\bibfolder{../../lib/bib}
-\input{../../doc/docheader}
+\input{../../doc/stex-docheader}
 
 \begin{document}
   \DocInput{\jobname.dtx}
@@ -36,7 +36,7 @@
 %  see \href{\basedocurl/manual.pdf}{the \sTeX Manual} or the
 % \href{\basedocurl/stex.pdf}{full \sTeX documentation}.
 %
-% \input{../../doc/packages/symbols}
+% \input{../../doc/packages/stex-symbols}
 % \fi
 %
 % \begin{documentation}\label{pkg:symbols:doc}
diff --git a/macros/latex/contrib/stex/source/stex/terms.dtx b/macros/latex/contrib/stex/source/stex/stex-terms.dtx
index 94a71d0208..9322a2411a 100644
--- a/macros/latex/contrib/stex/source/stex/terms.dtx
+++ b/macros/latex/contrib/stex/source/stex/stex-terms.dtx
@@ -11,7 +11,7 @@
 %
 %<*driver>
 \providecommand\bibfolder{../../lib/bib}
-\input{../../doc/docheader}
+\input{../../doc/stex-docheader}
 
 \begin{document}
   \DocInput{\jobname.dtx}
@@ -36,7 +36,7 @@
 %  see \href{\basedocurl/manual.pdf}{the \sTeX Manual} or the
 % \href{\basedocurl/stex.pdf}{full \sTeX documentation}.
 %
-% \input{../../doc/packages/terms}
+% \input{../../doc/packages/stex-terms}
 % \fi
 %
 % \begin{documentation}\label{pkg:terms:doc}
diff --git a/macros/latex/contrib/stex/source/stex/stex.ins b/macros/latex/contrib/stex/source/stex/stex.ins
index 95ff248c0d..8d645b251b 100644
--- a/macros/latex/contrib/stex/source/stex/stex.ins
+++ b/macros/latex/contrib/stex/source/stex/stex.ins
@@ -18,21 +18,21 @@
 \askforoverwritefalse
 
 \generate{
-	\file{stex.cls}{\from{basics.dtx}{cls}}
+	\file{stex.cls}{\from{stex-basics.dtx}{cls}}
 	\file{stex.sty}{
-		\from{basics.dtx}{package}
-		\from{mathhub.dtx}{package}
-		\from{references.dtx}{package}
-		\from{modules.dtx}{package}
-		\from{inheritance.dtx}{package}
-		\from{symbols.dtx}{package}
-		\from{terms.dtx}{package}
-		\from{features.dtx}{package}
-		\from{statements.dtx}{package}
-		\from{sproof.dtx}{package}
+		\from{stex-basics.dtx}{package}
+		\from{stex-mathhub.dtx}{package}
+		\from{stex-references.dtx}{package}
+		\from{stex-modules.dtx}{package}
+		\from{stex-inheritance.dtx}{package}
+		\from{stex-symbols.dtx}{package}
+		\from{stex-terms.dtx}{package}
+		\from{stex-features.dtx}{package}
+		\from{stex-statements.dtx}{package}
+		\from{stex-proofs.dtx}{package}
 		% ...
-		\from{others.dtx}{package}
-		\from{metatheory.dtx}{package}
+		\from{stex-others.dtx}{package}
+		\from{stex-metatheory.dtx}{package}
 	}
 }
 
diff --git a/macros/latex/contrib/stex/tex/etc/beamernotesthemesTeX.sty b/macros/latex/contrib/stex/tex/etc/beamernotesthemesTeX.sty
index 4ebba507ae..af1c0c2a4c 100644
--- a/macros/latex/contrib/stex/tex/etc/beamernotesthemesTeX.sty
+++ b/macros/latex/contrib/stex/tex/etc/beamernotesthemesTeX.sty
@@ -1,6 +1,6 @@
 % Beamer sTeX notes theme;
 % Copyright (c) 2022 Michael Kohlhase <michael.kohlhase@fau.de>.
-\ProvidesPackage{beamernotesthemesTeX}
+\ProvidesPackage{beamernotestheme-sTeX}
 \typeout{Beamer sTeX notes theme}
 \setbeamertemplate{theorem begin}
 {%
diff --git a/macros/latex/contrib/stex/tex/etc/beamerthemesTeX.sty b/macros/latex/contrib/stex/tex/etc/beamerthemesTeX.sty
index f5cc87feb4..5d3a63c630 100644
--- a/macros/latex/contrib/stex/tex/etc/beamerthemesTeX.sty
+++ b/macros/latex/contrib/stex/tex/etc/beamerthemesTeX.sty
@@ -1,6 +1,6 @@
 % Beamer sTeX slide theme;
 % Copyright (c) 20 Michael Kohlhase <michael.kohlhase@fau.de>.
-\ProvidesPackage{beamerthemesTeX}
+\ProvidesPackage{beamertheme-sTeX}
 \typeout{Beamer sTeX theme}
 \RequirePackage{xspace}
 
diff --git a/macros/latex/contrib/stex/tex/img/cc-by-sa.png b/macros/latex/contrib/stex/tex/img/stex-cc-by-sa.png
index f0a944e0b8..f0a944e0b8 100644
--- a/macros/latex/contrib/stex/tex/img/cc-by-sa.png
+++ b/macros/latex/contrib/stex/tex/img/stex-cc-by-sa.png
diff --git a/macros/latex/contrib/stex/tex/img/cc_somerights.png b/macros/latex/contrib/stex/tex/img/stex-cc_somerights.png
index fd7d3c7f33..fd7d3c7f33 100644
--- a/macros/latex/contrib/stex/tex/img/cc_somerights.png
+++ b/macros/latex/contrib/stex/tex/img/stex-cc_somerights.png
diff --git a/macros/latex/contrib/stex/tex/img/dangerous-bend.png b/macros/latex/contrib/stex/tex/img/stex-dangerous-bend.png
index fbcfefa5d9..fbcfefa5d9 100644
--- a/macros/latex/contrib/stex/tex/img/dangerous-bend.png
+++ b/macros/latex/contrib/stex/tex/img/stex-dangerous-bend.png
diff --git a/macros/latex/contrib/stex/tex/ldf/omdoc-ngerman.ldf b/macros/latex/contrib/stex/tex/ldf/document-structure-ngerman.ldf
index 3486813833..3486813833 100644
--- a/macros/latex/contrib/stex/tex/ldf/omdoc-ngerman.ldf
+++ b/macros/latex/contrib/stex/tex/ldf/document-structure-ngerman.ldf