It's not a bug nor a feature, just a proposal with the hope it can help getting more feedback / bugs from the community by removing barriers to the creation of tickets.
It's been a while since the WIkiLambda project has been renamed to WikiFunction. I guess lots of people now know only the new name. Also it would probably help referring to this project using only the new name.
If it's not to hard to do this, of course.