$ [#31173] Only default/global Filter Label for seach at the Extensions
Manager. Thanks Tobias Zulauf
(Fix #1289)