AT:

• In the report/dashboard list there is a text saying "Filter for name:" and an input field below the report/dashboard headline
• By default the input field is empty
• If I enter a text in the input, then the report/dashboard list is instantly filtered according to there name
• The filtering algorithm works as follows:
  • Keep only those entries, where the provided value matches anything in the name, e.g. input: foo, name list: [foooooo, barfoobar, barfoo, bfbaroobar] -> filter result: [foooooo, barfoobar, barfoo]
  • the filtering is case insensitive, e.g. input: foo, name list: [FOO, FoO, foo, fOO, BAR] -> filter result: [FOO, FoO, foo, fOO]
  • if the input is empty, I get all entries
• the feature is documented in the user guide