The comments so far are a mix of negative and positive about making this change now, but the voting is 20-3 in favor of the change. I guess this is another cas

The comments so far are a mix of negative and positive about making this change now, but the voting is 20-3 in favor of the change. I guess this is another case of the general issue that the people who write comments have different characteristics than those who hit the vote arrows.