`  == Grep on Tool Labs ==  Hi,  Thank you for the Grep tool (I feared that it disapeared with the toolserver). I noticed a bug  with « Include redirects‎ » activated the redirects are in fact excluded ! Should I change the text on translatewiki or could you rather change the tool ?  Cdlt,  *  `