-1. Thighhighs covers any garment that covers the foot up to the mid-thigh (such as Thigh_boots), and thus stockings can fall under the thighhighs tag but thighhighs would not fall under the stockings tag.
In the previous forum post, some were adamant about the two-way implication for the sake of searchability. We should continue the thread in forum #20379 if it's not a settled matter.
Still, it would be helpful not to have stockings aliased anymore, so I wonder if anyone would be opposed to removing that while we hammer out the implications.