Sharpening a lawn mower blade with a file