[hypertexthero]

Thanks for the heads up. I never noticed before, but now I see it.

Doesn’t bother me enough to change the technique at this time, but I’ve put it in the things to do list.

I like the idea of having it automated by the system-set user preference in addition to having an option to set it manually with a link.