better filter for person/text/etc lists
The filter widget does not ignore diacritical marks.
The lists use the semantic-table
component which uses Griddle (https://griddlegriddle.github.io/v0-docs/)
Griddle offers the option to supply a customFilterer
function (https://griddlegriddle.github.io/v0-docs/customization.html).