What is the origin of the word "Leavers Lace"?

At the beginning of the 19th Century, John Leavers, an English engineer, invented cast iron machines that allowed for "faster" and extremely detailed production of lace.  Until then, lace was exclusively handmade.