Rebuild Docs once more, with a fix in troubleshooting