How big of a deal is edge mopping really? There seems to be a huge push for edge mopping, which is like 1% of your floor space, right? I'm getting FOMO combing through threads while trying to learn more...