make the user filter work without JS #109
Description
The user filter bar can probably be implemented just in CSS.
If not, we can probably just use anchors.
{{ message }}
The user filter bar can probably be implemented just in CSS.
If not, we can probably just use anchors.