Text this: Properties of locally semi-compact Ir-topological groups