Hello! https://www.openstreetmap.org/node/12647084497/history has shop = grinding_mill that was added in this edit
shop=grinding_mill ? is it providing some service to general public ? Or is it man_made=works? Or is it company office (office=company)?