It turns out that cron is smarter than we thought, such that it’s much harder to fuck yourself over DST than we assumed.
Still, we moved any jobs in the skipped-or-repeated interval to before 0100 or after 0300, just to be clear.
If this makes no sense to you, just move along and don’t worry about it.