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.