[docs-verifier] Don't report when a file changes extensions

[BillWagner]

If a file changes an extension, say from index.md to index.yml, the tool reports that a redirection must be needed.

It shouldn't do that. A redirection isn't needed. In fact, a redirection won't be valid.