The latter is actually one of two standard file extensions (as per
RFC7763, the other being .markdown). It's also the extension expected
by GitHub, GitLab, and other wiki software.

So for the sake of future-proofing and compatibility, rename all files
to the new name.

This will hopefully not break anything: the file extension is not
present in the rendered version anyways.