This stuff was marked obsolete in 2008, and the only user is lazy-lock.el;
if the latter has no real users, can we drop its low-level support?

Dmitry