Regarding the name, we should keep it for now (want to merge this PR ASAP), but perhaps we need to consider one of the Spring-y names like DefaultModuleRegistry or GenericModuleRegistry. On a related note, it seems like we might be able to refactor the RedisModuleRegistry so it has less to do on its own.