ITA Software is slowly replacing the industry's hardware
and software with Common Lisp code running on Linux PCs,
that uses relatively involved algorithms that show off
our academic CS background.
Yes, it looks like (besides the leftover "ITA" comment in the guide!) that this is simply the ITA guidelines. From Carl's remarks, you can tell that ITA is not a 'normal' Lisp program. Most Lisp programs do not preallocate ~5K of data structures and fail-fast if they exceed that, for example.
ITA actually has two large Lisp systems. One of them is the insanely optimized fare search system (QPX) that does all the crazy things described in the link. The other is the airline reservation system which is a much more conventionally coded Lisp system.
http://paulgraham.com/carl.html
Snippet: