Update webdev-tools.sh