This is needed, because if users apply changes, when they git pull there may be conflicts. Also, the web-user.sh is ignored in .gitignore, so it should have never been checked in the first place.
