My patches to develop.git.wordpress.org