I live and work in the US where protests against police brutality have been ongoing for days, and coming to work this week the word "cop" has an uncomfortable feeling about it. I don't know if this has been discussed before, but out of respect for vulnerable people in the community, it might be worth considering moving away from the name RuboCop.