Rename Repository

[rthaut]

When this extension was first created, deviantart.com was branded as "deviantART," so I adopted that naming convention. At some point later on they switched to "DeviantArt," and I eventually renamed the extension to match.

However, I never renamed this repository. While renaming repositories on GitHub is trivial, Project Page URLs are not automatically redirected. Additionally, the URLs are case-sensitive (since they are served as a sub-path), so https://rthaut.github.io/deviantART-Filter/ and https://rthaut.github.io/DeviantArt-Filter/ and https://rthaut.github.io/deviantart-filter/ are all different.

In order to rename the repository, I will either need to first have a redirect mechanism in place (or have it ready to deploy immediately), or will have to live with the possibility of broken links pointed at the old URL.

[rthaut]

This was actually an easy fix; I just followed the instructions in this gist.

The redirect file is here: rthaut/rthaut.github.io/blob/master/deviantART-Filter/index.html

I will still make attempts to update links everywhere I can, but I think this can be closed now.

[rthaut]

The redirect method I used only handles requests to the root of the Project Page, but not for any other pages/paths.

This caused problems for users upgrading to v6.1.0, which opens the Release page for that version, but was not correctly redirected.