Outdated setup
This issue continues an issue that I initially raised on the MMT tracker but seems to be better suited here. @Jazzpirate said that the instructions for setup here appear to be outdated so it would be good to either update this documentation or add pointers to a more up to date tutorial. https://github.com/UniFormal/MMT/issues/582#issuecomment-1720070261