[jefftk]

See discussion above: https://news.ycombinator.com/item?id=38901520

As long as it's clear to the user that they're making a site-wide UI customization choice and just not choosing the language for this specific example I agree with you, but I don't think it's clear in the typical case.

[troupo]

IMO this is splitting hairs, and no one will take you to court because you changed the snippet language across the entire site for the session