This project is to document the usage of XSB, including patches and extensions.