Update config.mcf

config/MathHub/config.mcf

-#include /var/data/localmh/MathHub/meta/inf/config/catalog.mcf
-#base
-/var/data/localmh/MathHub/
-#archives
-MMT/LATIN lf
-MMT/urtheories mmt
-MMT/examples mmt
-MMT/LFX mmt
-HOLLight/basic ml
-tps/tps omdoc
-Mizar/MML mizar
-smglom/algebra stex
-smglom/calculus stex
-smglom/functional-analysis stex
-smglom/graphs stex
-smglom/linear-algebra stex
-smglom/arithmetics stex
-smglom/numthy stex
-smglom/primes stex
-smglom/smglom stex
-smglom/topology stex
-smglom/complexity stex
-smglom/analysis stex
-smglom/constants stex
-smglom/geometry stex
-smglom/identities stex
-smglom/magic stex
-smglom/mv stex
-smglom/numbers stex
-smglom/numthyfun stex
-smglom/sets stex
-smglom/trigonometry stex
-smglom/manifolds stex
-MiKoMH/ACS stex
-MiKoMH/AI stex
-MiKoMH/CompLog stex
-MiKoMH/ComSem stex
-MiKoMH/GenCS stex
-MiKoMH/GenICT stex
-MiKoMH/KWARC stex
-MiKoMH/talks stex
-MiKoMH/TDM stex
-MiKoMH/TopModCS stex
-HelloWorld/coursematerials stex
-HelloWorld/hwexam stex
-HelloWorld/smglom stex
-HelloWorld/MMT mmt
-ODK/ODK mmt
-ODK/Sage mmt
-ODK/GAP mmt
-ODK/lmfdb mmt
-ODK/Singular mmt
-PVS/Prelude mmt,pvs
-PVS/NASA pvs
-MitM/Models mmt,stex
-MitM/Foundation mmt
-MitM/interfaces mmt
-MitM/smglom mmt
-Teaching/KRMT mmt
-#formats
-stex latexml,stex-omdoc planetary
-mmt mmt-omdoc mh-html,planetary
-mizar index mh-html,planetary
-ml index mh-html,planetary
-lf index mh-html,planetary
-omdoc index mh-html,planetary
-pvs pvs-omdoc mh-html,planetary
-#profiles
-smglom smglom/algebra,smglom/calculus,smglom/functional-analysis,smglom/graphs,smglom/linear-algebra,smglom/arithmetics,smglom/numthy,smglom/primes,smglom/smglom,smglom/topology,smglom/analysis,smglom/constants,smglom/geometry,smglom/identities,smglom/magic,smglom/mv,smglom/numbers,smglom/numthyfun,smglom/sets,smglom/trigonometry,smglom/manifolds,smglom/complexity,smglom/elliptic-curves
-MiKoMH MiKoMH/ACS,MiKoMH/AI,MiKoMH/CompLog,MiKoMH/ComSem,MiKoMH/GenCS,MiKoMH/GenICT,MiKoMH/KWARC,MiKoMH/talks,MiKoMH/TDM,MiKoMH/TopModCS
-HelloWorld HelloWorld/coursematerials,HelloWorld/hwexam,HelloWorld/smglom,HelloWorld/MMT
-MMT MMT/LATIN,MMT/urtheories,MMT/examples,MMT/LFX
-OAF HOLLight/basic,tps/tps,Mizar/MML,PVS/Prelude,PVS/NASA
-HOLLight HOLLight/basic
-PVS PVS/Prelude,PVS/NASA
-MitM MitM/Models,MitM/Foundation,MitM/smglom,MitM/interfaces
-ODK ODK/ODK,ODK/Sage,ODK/GAP,ODK/lmfdb
-Teaching Teaching/KRMT    
-#mainpage_help
-/meta/inf/doc/help/main.html
-#external_lib
-url https://smglom.mathhub.info
-name SMGloM
-teaser The Semantic Multilingual Glossary for Mathematics
+#include /content/MathHub/meta/inf/config/catalog.mcf
+#base
+/content/MathHub/
+#archives
+MMT/LATIN lf
+MMT/urtheories mmt
+MMT/examples mmt
+MMT/LFX mmt
+HOLLight/basic ml
+tps/tps omdoc
+Mizar/MML mizar
+smglom/algebra stex
+smglom/calculus stex
+smglom/functional-analysis stex
+smglom/graphs stex
+smglom/linear-algebra stex
+smglom/arithmetics stex
+smglom/numthy stex
+smglom/primes stex
+smglom/smglom stex
+smglom/topology stex
+smglom/complexity stex
+smglom/analysis stex
+smglom/constants stex
+smglom/geometry stex
+smglom/identities stex
+smglom/magic stex
+smglom/mv stex
+smglom/numbers stex
+smglom/numthyfun stex
+smglom/sets stex
+smglom/trigonometry stex
+smglom/manifolds stex
+MiKoMH/ACS stex
+MiKoMH/AI stex
+MiKoMH/CompLog stex
+MiKoMH/ComSem stex
+MiKoMH/GenCS stex
+MiKoMH/GenICT stex
+MiKoMH/KWARC stex
+MiKoMH/talks stex
+MiKoMH/TDM stex
+MiKoMH/TopModCS stex
+HelloWorld/coursematerials stex
+HelloWorld/hwexam stex
+HelloWorld/smglom stex
+HelloWorld/MMT mmt
+ODK/ODK mmt
+ODK/Sage mmt
+ODK/GAP mmt
+ODK/lmfdb mmt
+ODK/Singular mmt
+PVS/Prelude mmt,pvs
+PVS/NASA pvs
+MitM/Models mmt,stex
+MitM/Foundation mmt
+MitM/interfaces mmt
+MitM/smglom mmt
+Teaching/KRMT mmt
+#formats
+stex latexml,stex-omdoc planetary
+mmt mmt-omdoc mh-html,planetary
+mizar index mh-html,planetary
+ml index mh-html,planetary
+lf index mh-html,planetary
+omdoc index mh-html,planetary
+pvs pvs-omdoc mh-html,planetary
+#profiles
+smglom smglom/algebra,smglom/calculus,smglom/functional-analysis,smglom/graphs,smglom/linear-algebra,smglom/arithmetics,smglom/numthy,smglom/primes,smglom/smglom,smglom/topology,smglom/analysis,smglom/constants,smglom/geometry,smglom/identities,smglom/magic,smglom/mv,smglom/numbers,smglom/numthyfun,smglom/sets,smglom/trigonometry,smglom/manifolds,smglom/complexity,smglom/elliptic-curves
+MiKoMH MiKoMH/ACS,MiKoMH/AI,MiKoMH/CompLog,MiKoMH/ComSem,MiKoMH/GenCS,MiKoMH/GenICT,MiKoMH/KWARC,MiKoMH/talks,MiKoMH/TDM,MiKoMH/TopModCS
+HelloWorld HelloWorld/coursematerials,HelloWorld/hwexam,HelloWorld/smglom,HelloWorld/MMT
+MMT MMT/LATIN,MMT/urtheories,MMT/examples,MMT/LFX
+OAF HOLLight/basic,tps/tps,Mizar/MML,PVS/Prelude,PVS/NASA
+HOLLight HOLLight/basic
+PVS PVS/Prelude,PVS/NASA
+MitM MitM/Models,MitM/Foundation,MitM/smglom,MitM/interfaces
+ODK ODK/ODK,ODK/Sage,ODK/GAP,ODK/lmfdb
+Teaching Teaching/KRMT    
+#mainpage_help
+/meta/inf/doc/help/main.html
+#external_lib
+url https://smglom.mathhub.info
+name SMGloM
+teaser The Semantic Multilingual Glossary for Mathematics