Tweak the start of the bin-dist docs in teh users guide