I haven't read Neal's message yet, but I wonder what he could do about it.

I plan to fix this with 2.5.1, there is absolutely no way to fix this earlier.

I'm not sure who "we" is who would like to bump the bug, and what precisely this bumping would do; tzot, please refrain from changing the priority to higher than 7. These priorities are reserved to the release manager.