[dinosaur] What is "Kumming-Long"?

While looking through old dinosaur books on the Internet Archive, I found
an interesting informal name used in *The New Illustrated Dinosaur
Dictionary *from 1990. The name is "Kumming-Long" [sic], which is supposed
to translate to "Kunming dragon". Based on the description of it as a
Chinese crested theropod similar to *Dilophosaurus*, I think it is
referring to "*Dilophosaurus*" *sinensis *as later described by Hu (1993).
I've also seen old posts on the DML that state the name "Kunmingsaurus" was
used informally for "*D.*"* sinensis*. I'm curious if anyone has more
information about this.

Links:

https://urldefense.proofpoint.com/v2/url?u=https-3A__archive.org_details_newillustrateddi00satt_page_180&d=DwIBaQ&c=clK7kQUTWtAVEOVIgvi0NU5BOUHhpN0H8p7CSfnc_gI&r=Ry_mO4IFaUmGof_Yl9MyZgecRCKHn5g4z1CYJgFW9SI&m=0T1Y0kWaHyfJENBI0PHXuSCYF8OpSKamEUr8J2qIg2w&s=1XN9ZDL-fG_5CpjeuXx37GKmtUelYDJZaV8PaSXL6UM&e= 

https://urldefense.proofpoint.com/v2/url?u=http-3A__www.ivpp.cas.cn_cbw_gjzdwxb_xbwzxz_200812_W020090813370834136337.pdf&d=DwIBaQ&c=clK7kQUTWtAVEOVIgvi0NU5BOUHhpN0H8p7CSfnc_gI&r=Ry_mO4IFaUmGof_Yl9MyZgecRCKHn5g4z1CYJgFW9SI&m=0T1Y0kWaHyfJENBI0PHXuSCYF8OpSKamEUr8J2qIg2w&s=Ep5p5AVmJ1o5phWhws7_Lrp4kikZPw1CXIJnBFv9g1E&e= 

https://urldefense.proofpoint.com/v2/url?u=http-3A__dml.cmnh.org_1995Feb_msg00014.html&d=DwIBaQ&c=clK7kQUTWtAVEOVIgvi0NU5BOUHhpN0H8p7CSfnc_gI&r=Ry_mO4IFaUmGof_Yl9MyZgecRCKHn5g4z1CYJgFW9SI&m=0T1Y0kWaHyfJENBI0PHXuSCYF8OpSKamEUr8J2qIg2w&s=H9QaRVO7IcVhAftxI_sNy1ELHbWq4W8fnQrBJRIzRDc&e= 

https://urldefense.proofpoint.com/v2/url?u=http-3A__dml.cmnh.org_1995Jun_msg00688.html&d=DwIBaQ&c=clK7kQUTWtAVEOVIgvi0NU5BOUHhpN0H8p7CSfnc_gI&r=Ry_mO4IFaUmGof_Yl9MyZgecRCKHn5g4z1CYJgFW9SI&m=0T1Y0kWaHyfJENBI0PHXuSCYF8OpSKamEUr8J2qIg2w&s=eMyAJxCuQ-enuILDPVO8qkcE5tQTIGnZOGw744NBGe0&e=