[blue1]

IIRC the legal situation of the hyperspec is a bit weird and converting to other formats could be problematic. (Perhaps someone else may be more precise)

[eudox]

The HyperSpec is under LispWorks' copyright. The official ANSI document is copyrighted. The TeX sources of the spec, however, are fair game.