Text this: Tax guide to U.S. civil service retirement benefits :