Old pman directory placed under github control