When pasting a search term into the search field, the text in question is pasted twice

I just noticed that when you paste a search term into the search field, the term in question is pasted twice.

E.g. if you copy the word "Word" and paste it into the search field, you get "WordWord".

• Topic Participants

• Thomas Kyhn

• Thomas Ribreau

  

• Matthieu Kopp