setting DB port for Docker, documentation suggestion