In reply to David.

It's not up to Otto to notify users, it's up to WordPress.