Merge "switch documentation job to new PTI"