Renaming proxy.js to robin.js