Mangle JS names and say warning.