Text this: Ideal extensions of ordered sets