I now looked up an area that WAS overnoded and still is perhaps overdetailed still. My hiking app does not lag there and indeed in smaller zoom levels it does some quite astonishing generalization (not just pure simplification – small patches of wood are concatenated):
- 
The renderer is (based on) V™ (Vector Tile Map).