Here are the coworkers who know "gnu-linux".