fix documentation for streamdev-server externremux.sh