in style/js/public.js [136:138]
function get_user_versions() { return $.cookie("brooklyn_versions") ? $.cookie("brooklyn_versions").split(",") : []; }