I'll sketch a proof of the Scholze—Weinstein conjecture on the existence and uniqueness of local models, representing minuscule subsheaves of the de Rham Grassmannian (joint with Anschütz—Gleason—Richarz). I'll also discuss their singularities, including cases of wild ramification (joint with Fakhruddin—Haines—Richarz).