What to do about GNU?