The other day, someone came and renamed the Phabricator projects for various skins from MediaWiki-skins-Foo to just Foo.
A few days later, someone else came and renamed them all back.
Since I'm a member of a few of these projects, I've gotten lots of email about this, twice.
(Example: https://phabricator.wikimedia.org/project/profile/355/)
And the projects are inconsistently named at the moment, since both persons missed a few spots: https://phabricator.wikimedia.org/project/query/xTNAyyYaAY0U/#R
So, what should the names be?