Project to test (try to prove failures or correctness) of various HA solutions for PostgreSQL.
Extensions training material.