Do not run setcookie.js at startup; it is no longer necessary
Desaturate “Pro” labels