Would you like to copy the permanent link to your clipboard?
Permanent link:
https://help.openstreetmap.org/questions/87887/how-to-hide-filter-box/88059