Unfortunately, badges for beginners weren’t skipping when a user chose to skip “new user tips”. We had a check here. But the code that was actually granting badges in most cases is here and written in SQL.
This PR adds a field
Badge and fixes the problem.