DatabaseReconciliator JavaDoc
Simplify DatabaseReconciliator (untested); add GitHub issue references to some TODOs
Refactor DatabaseReconciliator and DownOperation; move sync algorithm to reconciliator