doc/modules/scope.qbk change for #8564