Sink edging - how to trim?