Issue #203: Rename Taxonomy to Categorization in UI.