Fix DDoc pushing script (take two)