Votes on tickets are a system to indicate to developers what users are particularly interested in. On technical matters like this, where the ultimate decision will have basically no impact on users one way or another, they matter much less. “Vote brigading” is also, uh, generally unhelpful.
Anyway, @kallisti5 et al. seemed to vaguely agree with the reasoning in there; which is part of why I made the ticket in the first place.