Several years ago I borrowed my father-in-laws maul, before acquiring one of my own. He was explicitly clear that the maul should not be sharpened (which wouldn't have occurred to me anyway). So... Should a maul every be sharpened? Or is a dull, nearly rounded edge preferred?