After much thought and consultation, I've decided that I want to rename my extension, Semantic Forms, to "Page Forms". (Short explanation: Semantic Forms was originally created as a spin-off extension of Semantic MediaWiki, but now can run as an independent extension.)
As far as I know, the renaming has to be done in three places:
- Phabricator: https://phabricator.wikimedia.org/project/view/272/
Of course, a lot of pages on mediawiki.org as well will have to be moved and modified, but I can take care of that part.
And ideally, the old URLs will redirect to the new ones wherever possible. Most importantly, I want people to keep being able to do "git pull" in their repositories, without having to create a new repository.
That's what I would like done, and whenever it can be done is fine with me. Please let me know if there are any questions/issues.