Remove superfluous reptition from usingdocker.md

replaces #6695