The source project of this merge request has been removed.
Make main search input a form instead of a div
The motivation is to fix #22 (closed), which this does.
The onsubmit="return true;"
is there to avoid that the form is sent by the browser as a native HTML form, which would happen when someone pressed enter