Regen strings.ml

Merge pull request #999 from tleedjarv/fix-paths-proplist-error

Make archive format compatible with <= 2.53.3

Merge pull request #906 from gdt/NEWS

NEWS/version for 2.53.3

Merge pull request #875 from gdt/feature.version

Bump version to 2.53.2 and add NEWS

NEWS: Adjust release date

Merge pull request #815 from gdt/master

Bump version for 2.53.0 release

NEWS.md: Adjust further for release

Regen strings

Merge pull request #608 from gdt/master

Update version/NEWS for 2.51.5

regen NEWS