Arithmetic compactifications of integral models of Shimura varieties of abelian type | Synapse