There’s a minor whitespace glitch in both examples: the first gather() header is unnecessarily indented. AFAIK it doesn’t matter; this isn’t Python. But it doe

There’s a minor whitespace glitch in both examples: the first gather() header is unnecessarily indented. AFAIK it doesn’t matter; this isn’t Python. But it does make it a little harder to spot the mechanics at play.