Doc PR must be opened before merging this