Clone search page navigation on top for mobile and options for faster tag filtering in top bar
Ceci est l'ensemble des versions pour ce script. Présenter uniquement les versions où le code diffère.
