>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