Interactively three-way-merge two diverged KeePass .kdbx files, with a machine-checked no-data-loss guarantee - View it on GitHub