> I gather that in most cases they're explicitly prevented from striking, but I think there's a good chance that it's too unpopular to actually punish them

Yeah, I know.