Shark’s new robot vacuum has an especially cool mop setup — and it’s just one of a growing trend for ultra-capable robo-mops