Remove duplication and cope with mixed-case tags.

  We previously downcased all tags in the right-hand-side, but not in
 the display of tags beneath the bookmarks.  This omission is now fixed
 and tag-searching will work in a mixed-case fashion as expected.

  Updated one of the sample tags to be mixed-case as a test.