tidying

Here’s some users with tidying in their profile.