Document #3872
Merge branch 'V8_0-branch'