I don’t seem to have that preference. Is it still supposed to be there?
Not released yet, as I alluded to elsewhere. I jumped the gun in updating the above comment to describe what’s coming.
Version 0.44 is here, still packaged as a Greasemonkey script.
I don’t seem to have that preference. Is it still supposed to be there?
Not released yet, as I alluded to elsewhere. I jumped the gun in updating the above comment to describe what’s coming.
Version 0.44 is here, still packaged as a Greasemonkey script.