Text this: A simplification of D'Alarcao's idempotent separating extensions of inverse semigroups