One doc tagged with "2.13.5"

Modify the file extension before it's used in display logic.