This script adds useful search functions to the top bar.
These are versions of this script where the code was updated. Show all versions.