Is it daylight saving time
in Brazil/DeNoronha?

Based on the timezone.