Basically if a tag is within another tag it gets included in the /tagged/ filter view
e.g. filtering tags with "#AI" (/tagged/AI) will include a bookmark with the tag "#Mail" because of the 'ai' in 'mail'.
Along the same lines and probably related so I won't put it in a different issue. Capitalization doesn't matter for the filter but it does seem to matter when highlighting the selected tag.
e.g. /tagged/AI and /tagged/ai will return the same results (which I would think is what we want) but it will only mark the tag that matches the capitalization exactly
/tagged/AI
/tagged/ai
note how the /tagged/ai doesn't highlight '#AI' as selected
Basically if a tag is within another tag it gets included in the /tagged/ filter view
e.g. filtering tags with "#AI" (/tagged/AI) will include a bookmark with the tag "#Mail" because of the 'ai' in 'mail'.
Along the same lines and probably related so I won't put it in a different issue. Capitalization doesn't matter for the filter but it does seem to matter when highlighting the selected tag.
e.g. /tagged/AI and /tagged/ai will return the same results (which I would think is what we want) but it will only mark the tag that matches the capitalization exactly
/tagged/AI
/tagged/ai
note how the /tagged/ai doesn't highlight '#AI' as selected