I don't get why people are upset here. Vibed code is easy to spot even if you don't credit the LLM in Git.
# increment the current number of users — do it by one n_users += 1