That solution is going to be harder to UNDO for most people if Nokia ever changes the server IP address. Changing it in the App Manager is probably a better solution for most unless they are comfortable with editing files using vi later.