Upload to Debian is underway, but I decided to merge the documentation packages at the same time, because images take up most of the space and are duplicated in pike8.0-reference and pike8.0-manual, so there was litte point in installing just one or the other.