Thank you for pointing this out. You are right. `Provider.of()` rebuilds the page whenever the provided object’s state changes. In this toy example, the page isn’t that complicated, so it can afford to rebuild many times.
For complex pages, we can consider to use Consumer / Selector
to selectively rebuild parts of the page. It is documented here.