Does anyone recognize these washers?

“Clipped” washers are a thing. I bought some a few weeks back for a task on a race car where there was not enough clearance on the edge of washer when it was fully round. Sometimes we take them to the belt sander and flatten an edge…