Fix issue #50 by adding the printed feedback on filtering.
Also, factor out the code that comes up with canonical names for benchmarks.