that to open for recreation, Castner Range National Monument (pictured) in El Paso's Franklin Mountains still needs to be cleaned of live munitions since closing as a weapons test site in 1966?
... that Thierry Coquand won a SIGPLAN award for his eponymous proof assistant Coq, which was used to find a formal proof of the four color theorem?
... that the Chinese-language forum 1Point3Acres created a COVID-19 tracker used by the Centers for Disease Control and Prevention?
... that Mary Shadow, the first unmarried woman in the Tennessee House of Representatives, received fourteen marriage proposals after her election?
... that the poem "Ovid in the Third Reich" has been described as "a classic reaction" to the Eichmann trial, despite being published before the trial was held?
... that Airis Computer's 1991 laptop could have been powered with ten C batteries as an alternative to a rechargeable pack?
... that Christian Keller worked as an academic before running SSV Jahn Regensburg?
... that Ned Beatty turned down the role of John Doe in the film Seven because the script was the "most evil thing" he had ever read?
