[Rename] Improve handling of ignored modules.#626

toinehartman wants to merge 1 commit intomainusethesource/rascal-language-servers:mainfrom

fix/rename-refactoring/ignored-modulesusethesource/rascal-language-servers:fix/rename-refactoring/ignored-modulesCopy head branch name to clipboard