This is another set of repository cleanups:
*-dev
install-time dependencies for the apt packages (still can't figure out what they were doing there)This is on the road to eventually getting rid of "doc/" by merging what is (eventually) left into "pd/doc"