On Tue, 2002-11-05 at 09:33, Toby Bartels wrote:
Actually, our headers *do* already impose a heirarchical structure. Turn on numbered headers in your user preferences to see it. This is a very desirable option IMO. No arguing is permitted unless it comes from people with that preference set ^_^.
Our headers impose no such thing. A misconceived "number headers" feature, which users were so annoyed with that it was banished to off-by-default and forgotten about by developers long long ago, attempts futilely to impose such a thing.
Its continued existence is a dark blot upon the soul of the wiki.
-- brion vibber (brion @ pobox.com)