Do we need to still exclude the repl if we don't have mima set up for it?