Text this: Post-optimal analysis in linear semi-infinite optimization /