rename this project - Githubissues

I'm going to rename the dc-chartreuse software. As part of this, some other names will change, while some won't:

Will be renamed:

Main Glitch project. For this and other Glitch projects, I'll create new placeholder projects with the old names to direct visitors to the new name. This project kind of acts as a development relay, but there are no users, so that shouldn't break anything.
Sample use projects on Glitch.
The Discord bots that those sample uses create (present on this server). I think I just go into the Discord developer control panel and change the name, but I haven't done that before so maybe everything will break. Who knows?
The GitHub repo. I think GitHub automatically creates a redirect from the old name.
(late addition) npm package(s). They don't allow renaming. What I've ended up doing is to upload a new package and mark the old one as deprecated.

Will remain with the same name:

The URLs of my relays (other than the development relay in the main Glitch project).
The introduction forum posts on Glitch Support. I think these are locked from being more than six months old.

wh0 / shardsnap