3 ms·

The bugzilla issue you linked was fixed 3 months ago. So it would seem that they did, in fact, prioritize it.