re: #250 Skip Intro

85% of all Republicans at last count.

Assuming that 15% can be reached is way optimistic. The reachable Republicans have all left the party by now.