Not sure where you get the idea that the "'half diminished' nomenclature...implies these chords are somehow related to, or derived from, full diminished chords." My limited formal theory training was classical in nature and taught me that half diminished 7 chords are naturally occurring and diatonic. When I started learning to read out of the real book, the chord notation (ø7) was intuitive and made perfect sense to me. As I remember, Jazz notation for 6 chords was not intuitive and needed a bit of explanation. Maybe my schools theory program was more progressive than I thought.I get that. Makes sense to me. Although I would point out, it's only "easier" to you because of your preexisting familiarity with the ø symbol. If you haven't played this type of chord before, then the "min7b5" notation gives you the information you need to figure out the chord tones (by taking a min7 chord and flatting the 5th).
My other minor issue with the "half diminished" nomenclature is that it implies these chords are somehow related to, or derived from, full diminished chords. When in fact min7b5 chords are naturally-occurring, diatonic within the major scale.
IMHO min7b5 may be easier to see/read but ø7 is easier to write/comprehend...but that's me and surely based on my experience and preconceptions...after decades of experience, it doesn't really matter much one way or the other to be honest.



)