Rename of downloading file of ODKX

Hi all,
Today I was downloading ODK-X document from Here and found that when I am downloading file , file name is “ODK2-Documentation”, I think it should be ODK-X-Documentation.

Best,
@iamnarendrasingh

Good catch. There’s a number of things that still need to be cleaned up along with the name changes. I’ve filed an issue on GitHub for this one: https://github.com/opendatakit/docs/issues/1027