Delete reds.js