@thatguygriff Thanks for mentioning that! First time I’d heard of this.

For the curious, here’s the background: Wikipedia: Red Penguins