I have a feeling that a lot of people were eying r17 as their alternative after the refund. Owing to the fact that it's closed (paused?) this could change things fairly significantly for some folks and may change their votes. I would propose, since the options have changed somewhat, that we perhaps reset the votes with the current information. I waited for news from bob but didn't anticipate r17 being closed.