It’s 2018. Does it really matter if CEOs toke?