These are the markdown source files and a converted html version of the sonic pi main documentation. if you installed the sonic-pi ide package, you propably don't need this package, as a copy of the documentation is already included within the application.