Update docs' copy of the source