Alberto: > Moreover this particular bug affected only one known person. My mistake, it affected three people. So probably it would be its description needed my latest update. (https://bugs.launchpad.net/ubuntu/+source/grep/+bug/1535458)