Small tweaks

I moved some functionality from SOP_Mantragora to MustHave_Mantragora to
share it between other extensions.