Survey: have you ever worked with someone who edited the jQuery UI CSS file? Follow-up: what sort of horrible punishment did you imagine?