Hi, The patch mentioned in #815205, and distributed along with 2:1.3.3-1, does allow the TeXinfo manual to build. Unfortunately, it ruins the typesetting of the index in the PDF version of the manual, which now typesets literal @llap...@phantomconcurrency (rather than interpreting the TeX commands).
I'm not sure what's going on; I will try to find out, but if someone more versed in TeXinfo is able to look as well, that would be helpful. You can see what the index should look like in the document at <http://www.sbcl.org/manual/sbcl.pdf>. Best, Christophe