On Windows, I only need to optimize images occasionally and tend to use the free version of https://kraken.io There are probably better solutions, but this is very easy and no install needed.
On Mac, you're definitely right that ImageOptim is the best.
On Mac, you're definitely right that ImageOptim is the best.