Oh, I forgot to mention that I was actually one of those 113 voters in your poll,
@RayDunzl ! I voted "yes," incidentally.
Hmm, but now that I look at it again, I see you posted the poll on June 10, 20
16, and I didn't even join ASR until July 21, 20
18, so if you hadn't left the voting timeframe wide open, there would have been at least one vote fewer. So participation points for me, I guess, but it actually strengthens your case further.