Hi Ron, About 2 years ago, you reported a bug to the Debian BTS regarding PCI domains above 0000 not being scanned by the X server. Did you reproduce this problem recently? If not, I will close this bug in the next weeks. Thanks, Brice