"Gasification of coal... [goes] back to the 1790s at least. Before World War II, the United States... had... [≈20,000] small coal gassifiers... a popular fuel gas until... the interstate natural gas pipeline network... after World War II. Many... were simple pyrolysis or steam-carbon reactions in... crude equipment having serious environmental problems."