So we have these three tags which are all fairly popular and have lots of overlap. I feel like it is often happenstance whether one is chosen over the other for a question, or they are combined. Our tag-wikis aren't entirely clear on it either.
Ideally if a clear result emerges from this discussion, we can just update the tag-wikis, otherwise we might have to start a follow-up discussion about changing/merging/... tags. Please do not yet discuss this aspect, this will go much better if first we find a common ground on what these tags actually mean.