Thank you for the mention! BTW, we're currently working on VSR (Viewstamped Replication) to provide the proper clustering :)