The text 89e523761ffd, as Debian 10 (Buster) shipped it.
Parse JSON CIF and print out CIF.
json2cif(1) on Linux now
