Parahoric Hecke Ext-algebras in characteristic p | Synapse