Clone search page navigation on top for mobile and options for faster tag filtering in top bar
These are versions of this script where the code was updated. Show all versions.
