Fixes suggested by `check-manifest`. It might be helpful to deliver
also docs and tests with releases, although they are not needed to run
the software.