I think some sort of Endless puzzle tag should be added. I really like puzzle games but imho just the Puzzle tag doesn't quite cover the extensive genre.
Specifically an "Endless puzzle" tag would make the distinction between pre-defined level based puzzle games and random/endless puzzle games, so traditionally the "Sokoban" vs "Tetris" style games, so:
- Puzzle (solving levels) -> Baba Is You, The Witness, Snakebird etc
- Puzzle (endless) -> Tetris, Mixolumia, Crossniq+, Bejeweled, PipeMania etc. some (not all) of these games and pretty much every game in this collection