I'm working on the Fedora rpm update for 1.2.0 (btw, thanks John for
the release) and noted a couple minor issues related to packaging: it
seems the docbook sources for the manuals sneaked into the package (I
don't think any regular user needs them) and there are some dangling
symlinks to plugins we don't ship under /plugins.
I'm not sure if we want to roll a point release just for this, but I
thought I'd note it anyway.