As far as I know, they mean “Personal Video Recorder” in a fashion similar to “DVR”/“Digital Video Recorder” like the one your cable company provides. It’s a little misleading, imo, because it doesn’t do any recording, but I didn’t come up with the name, so who knows.