Fix the generated documentation for Log, the FAQ, and make another build.