[e.k.]

Probably not.
the "half-diminished" chord Cm7(b5) contains c eb gb bb

the diminished chord C(dim7)=Cm6(b5) contains c eb gb a (erhe would say c eb gb bbb)
I admit I never came across a case where somebody called a diminished chord m6(b5), but imho it's not wrong.
Or maybe, even more nitpicking, C(dim7) contains c eb gb bbb wheras Cm6(b5) contains c eb gb a

I just played around a little with enharmonics, not only letters Abb=G, also numbers bb7=6 (dim7 contains bb7).
and I just want to lighten the mood of the thread, not lead out of topic.

Let´s make music, not theory!
e.k.