Convert filter on explore wg page to vanilla JS

Brought up here:

!315 (comment 647618)

added Enhancement label

assigned to @zhoufang

mentioned in merge request !315 (merged)

mentioned in merge request !321 (merged)

mentioned in commit 910ce392

The changes are merged. Closing the issue

closed