Shouldn't these three tags imply Hatsune Miku?
Well, they are Miku, but seasoned themed versions of her. Since there is no implication yet, I do wonder why that's the case. It's not really an altered version, like an animal creature of the character (which do imply the character, like Shimakaze and her seal version). It's just a different color used for Miku. The character itself stays the same, though and they aren't visually that much different (Twintails, comparable clothing etc.).
And they all have (except the autumn version) enough posts here.