add ID's to bookmarks
Added ignore-case search option; some old, useless code removed