rthaut
Rename Repository
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.
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.
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.