I agree with Ben about 'stippled' being a bad property name. I
disagree about obsoleting the tty 'dim' property. I think we
should make the 'dim' property be what Didier calls 'stippled' on
X devices and of course leave 'dim' as it is now on TTY devices.