Use HTML5 <input type=search> (closes #899)