chiark / gitweb /
Delay search initiation for a bit after the last keypress, to avoid