In hindsight, the minority won the poll for #847.