extract.py converts algn formats; merge implements symmetrization