All BBC mixing desks for radio used to have pull down faders… I still think they are the ‘right way’ to do faders…
the design was so that if there was an issue with the studio manager or on the desk, it all shut channels would be as far away as possible… so someone tripping into the desk would not knock everything off the back stop.
I also feel that opening a channel by bringing forefinger to thumb is a much more elegant design…
#elegantweaponforamorecivilisedage
EDIT: the jacks are probably bantam jacks though…