Example on mobile: Space-separated search term duplicate themselves

[upsiflu]

Platform: Firefox mobile on Android 10

https://less-ui.web.app/

Observations:

• When I enter "a" in the search box and hit space, then "aa " appears.
• when I enter "abcde" and hit space, then "abcdeabcde " appears.
• "a b c " is turned into "aa bb cc "
• I can still delete the duplicate letters

Idea:

• When entering a search term, the search bar should not be updated. What if we don't set any value if the change comes from the search box?
• This would also remedy the annoyance that after each key, the cursor would jump to the end
• It will require the elm differ to leave the search box alone, meaning some Html.Keyed action.