Astoundingly, the US Department of Defense is still paying money for Symbolics Lisp support! https://www.usaspending.gov/Pages/AdvancedSearch.aspx?k=symbolics