It appears to have been sitting for over a year, and I don't see any
response to Aaron's comment, so I thought I'd see if someone here has a
better idea of its status. Is the argument that high-contrast users
don't need to switch themes because the default should be good enough
for them? Or is it that this doesn't apply to the core and only to
I ask because it seems similar to an issue a colleague has been having
with a xulrunner.