You could always just let the mud dry. Most of it will crumble off and you can hoover the carpet 🤣