BUR #23896 has been approved by @nonamethanks.
rename ef_typhoon -> eurofighter_typhoon
rename ef-2000_typhoon -> eurofighter_typhoon
EF-2000 and EF Typhoon are both names for jets in the Eurofighter family. It would just make it easier to merge them instead of having them be separate.