lens-example pong flag is automatic

```cabal
flag pong
  default: True
  -- manual: False is the default
```

which means that solver is free to toggle that, which may cause inconsistent behavior on CI.
If it's intentional, being explicit with `manual: False` and a comment would be better than relying on the implicit default.