Remove an unnecessary idiom
Prompted by a comment in !33374 (comment 238665037) , was unaware of the etymology of it https://en.wikipedia.org/wiki/Rule_of_thumb#Folk_etymology
Prompted by a comment in !33374 (comment 238665037) , was unaware of the etymology of it https://en.wikipedia.org/wiki/Rule_of_thumb#Folk_etymology