Progress in Superconductor-Semiconductor Topological Josephson Junctions | Synapse