On 05/10/2020 15:38, Jimk wrote:
newshound Wrote in message:


Either run around it with a coarse file, or with coarse
sandpaper or emery paper on a block, but quickest of all is just to
round the edge using a light touch with an angle grinder, either with an
abrasive disk or with a sanding disk.


Which he doesn't have...

Which is why I gave alternatives. But based on the advice here he might
decide to get one.