The tunes are in individual files. The file's name starts with the page number and a letter, followed by the tune's name with underscores for spaces, plus the ".abc" suffix.
The book.* files are probably just temporary, to help debug the transcriptions. They will probably go away after it's all done.
If you want to contribute, send me a message.