But then I would have to have known that the “filter/preferences bar” is called “panels/top” in dt-jargon.
