Release v13 is mainly a bug fix release, in particular,
it should fix a major database corruption bug which caused the
database to be cleared in some cases.