Moved to https://github.com/MathHubInfo/MoSIS_Jupyter_Kernel
An attempt at a new KWARC web site based on the one from OpenDreamKit