Giving thank-you stipends to city employees who worked overtime during the recent hurricanes wasn’t as simple as some might have imagined.