As a life-long moderate Republican who will never vote for Donald Trump, nor Clinton/Sanders, I'm now considering my options. Barring a third party run by someone like Romney or Bloomberg, I'm thinking maybe Gary Johnson. Does anyone know much about him? Anyone else I should consider?