... as commit 3a88522a did for the NEWS file after the 4.13.3 release (tag "4.13.3", commit 358cd28d).