buggood first issue
Description
On the home page feed the filtering does indeed work, but if you go on https://lobste.rs/top/1w
the filters no longer work. for example I have both ai and vibecoding filtered, but when I go to that page I can still spot them there:
It clearly knows that the filter is being applied to this tag since the filtered tags have a dashed border. Doesn't allowing them here defeat the purpose of having a filter? Or at least give users the option of choosing a whether to globally filter or only filter tags on a the home page?