Update SPECIFICATION.md

added autocomplete search