Fix DDoc pushing script (take three)