Even if the gnome devs wouldn't want to re-implement this, ubuntu devs could make and add a patch that fixes this issue.
Even if the gnome devs wouldn't want to re-implement this, ubuntu devs could make and add a patch that fixes this issue.