(Axel Boldt <axelboldt(a)yahoo.com>)m>):
If we adopt Magnus' feature (which I would support), then it should not
become a user option. The whole point of the feature is to do away with
hand-written disambiguation blocks, but that is only possible if
everyone uses it.
No, that's not the point at all. Hand-written disambiguations with
clarifying comments are invaluable. This new feature, if we can figure
out a good way to do it, is to facilitate creating them and keeping
them up to date, not to eliminate them.
--
Lee Daniel Crocker <lee(a)piclab.com> <http://www.piclab.com/lee/>
"All inventions or works of authorship original to me, herein and past,
are placed irrevocably in the public domain, and may be used or modified
for any purpose, without permission, attribution, or notification."--LDC