Use element IDs, not names, for search hiding.

Fix #1.