Julian Rosen's recent post reminded me about something which has been bothering me.
In response to this post, the hat-problem tag was made a synonym of logic-puzzle. I think that this decision should be reversed: hat-problems are their own interesting category of logic puzzles, which should have a tag wiki introducing the common themes. People might want to search for these types of puzzles in particular, and not having an independent hat-problem tag makes this difficult.
The reasoning for the synonymization was that every hat problem is solved with logical reasoning. There are many categories of tags where a similar argument can be made, like liars,weighing,sudoku,game,tiling, etc, and none of these are synonyms of logic-puzzle. Even though every hat-problem is a logic-puzzle, not every logic-puzzle is a hat-problem, so these should not be synonyms.