The TiVo Stream 4K has some appeal simply — tivo-stream4k - tivo ...