There was a mistake in the subject of my previous email:
Emacs 25.2 was released, not Emacs 25.1.

Nico