We’d initially discussed in multiple places (see Project Name Change) about a name change. I’m going to pick the names suggested there and conduct a poll, and majority wins I guess.
This poll will end a week from now:
2020-06-01T16:00:00Z → 2020-06-08T16:00:00Z
Let me know (@ me) if you have more ideas, or think I missed anything out, and I’ll add them to the poll.
EDIT: More options: