Hauppage DVB-C serial numbers page has been moved here.

Other Linux/VDR/DVB stuff is here.