Cursive seems to control the module settings—the next ”import changes” will reset the names
you're right. we seem to have lost the ability to rename modules in this particular case where modules in different directories share the same name... 😞 Cursive threw 5 unhandled exceptions when i attempted to import and rename such modules...