I have apparently missed something really obvious: How do I get our work wiki to have a row of formatting buttons at the top of the edit box, the way English Wikipedia does?
(I expected all that out of the tarball, and I looked for extensions but didn't find one that did this.)
- d.