“filter panel” is another name for Faceted filter.