Yes, and AA5s' 12AV6's also have two diodes. Probably didn't cost all that much more to put the 2nd diode in those tubes, and the diode electrodes also held the triode in position inside the tube. But most AA5 radio makers didn't use both diodes, just randomly choosing one or the other. Which meant that tube manufacturers couldn't delete a diode. They didn't want to spend the extra couple of pennies for an extra resistor and cap.
