Remember Ohio’s failed 2015 bid to legalize marijuana? Here’s a refresher because it is germane to today’s story.