Anybody out there have a Linux Personal Video Recorder, or is anybody working on one? Any links or advice?