tweak help server ports for docker