In the time since the Mantis popped up in FCC filings, another leak (and still-live TiVo webpage) shows it could arrive branded as the "Mavrik." Additionally, there's an app listing that confirms it as the "OTA Streaming, Diskless Cloud DVR TiVo Device Mantis." While that seems like the best bet to actually ship sometime soon, we're a bit more interested in the prospect of cloud recording of cable channels -- if TiVo actually update old boxes to do it.