Fix DDoc pushing script (take four)