More writing in docs.
Provide PCF-source.
Renaming main.scrbl files.