Earlier today I posted a question (I've since deleted it since I figured out my own answer and it was a silly oversight) with the tags "Laravel" and "Laravel-5"
Someone edited my tags shortly after I posted and removed the Laravel tag citing it as "redundant" but I feel like if anything, the more specific tag should have been removed... Personally I have "Laravel" in my favorites, but not all the individual versions, so I wouldn't have seen my own question while browsing my favorite tags.
I imagine it is the same with most people. So is it not appropriate to just have both tags on my post to capture both groups? And if it isn't appropriate, then should the more or less specific tag be chosen?