@aral @ProfessorCode Respectfully, changing a popular project's name is an extremely hard and arduous endeavor.
I'm not saying I don't think it's called for (I do), but I also don't think we should be presenting it as as a little gesture that could be easily carried out.
The git branch on the other hand...