https://itipstricks.com/how-to-remove-opera-from-mac/