Removed unused port in contributing documentation

8 jobs for docs-master in 7 minutes and 23 seconds (queued for 2 seconds)