Master branch within doc/ is now for 8.0.0.