I'm able to delete a Redis stream using 'del' command in Redis. I guess this will also delete the Consumer Groups/Consumers for that stream. However, I want to delete Consumers explicitly. Does Redis allow that ? If not, how to manage consumers which aren't in use anymore ?