Speaking of which, can we get rid of the
"auto-wikification" button?
It's definitely featuritis: very prominent, highly
confusing, and of
minimal utility.
...and undocumented. I agree, this button should go. At best, it could
be a user preference option (default: off).
Axel