[sr-dev] git:5.3:5b6ce8ef: CONTRIBUTING.md: small spelling fix after recent doc extension [skip ci]