Evidently solved in a crosspost.