What is a process by which ores are washed on a shovel, or in a vanner called?

vanning — A process by which ores are washed on a shovel, or in a vanner. (Webster's 1913.)

Sources