Sorry, I should correct my thoughts in that not all WP Devs are gung-ho for 5.3, only a select few.

And it's not 15% of the userbase using PHP 4, I've done a survey of 6000+ sites running bbPress and WordPress and the number is closer to 50%