: fire. Imagine everything working fine for months, docs being : occasionally added, until *boom* a magic limit is hit. : : I wouldn't be opposed to a config option I guess... but I think the : default should be something that doesn't unpredictably break (so it : still wouldn't be 100% back compatible).
I don't disagree with you (ok, i might disagree with you slightly, but only on the semantics of what "default" could mean) I'm just saying: this change will break highlighting for people where it currently works, and there won't be anything they can do to make it work the way it use to. Yes, it can be a timebomb for some people, but for others with small indexes and a managable umber of terms it works just fine. -Hoss
