Text this: Differential contracting homotopy in higher-spin theory