There are various styles of choke which involve an arm-triangle (or inversion of this technique):
How are these chokes classified by the Kodokan?
As of Germany, all of these would be considered a form of hadaka jime since every choke that is not with the legs and not executed using the gi is classified as such.
That being said, we do have strange classifications at times (Hofmann, not Kodokan), so that one may be off as well. I, personally, think it makes a lot of sense here, though.
For what it's worth, Mifune calls it hadaka jime in his Canon of Judo as well (p.137)
Kata-gatame is classified as an osaekomi-waza technique in Kodokan judo.
Often this osaekomi-waza appears as a european shime-waza when tori is very strong.
Even hon-gesa-gatame could also be seen as a shime-waza when uke is under very strong judoka. That’s the reason why opponents often submit under Teddy Riner.
The Von Flue choke doesn’t exist in judo because as you can see in your last picture, this MMA technique is a counter choke against a guillotine, and the guillotine is hansoku-make.