That's the same story I'd heard but it would seem to be disproved by the Etymonline date of 1830. I don't think the miners started organizing till the early 20th century.