Improve the description of BatList.filteri

@gasche: Is it ok for you ?