Looking at the 2016 tagset I would say historically I don't think we have, but I think there is a potentially strong argument to be made based on the other things we merge and given there's some canon crossover. We're open to arguments either way however, and also to what the umbrella term should be if needed.

Off the top of my head I don't think it's been as popular in other exchanges I've participated in, and so I don't think I've seen it merged elsewhere so I'm not sure what we'd call it.