Minor spelling & grammar fixes to infrastructure.md

NB: no policy changes have been introduced in this pull request.