Apparently there is a poll in private discord about this so I’m posing here so people like me who don’t use discord can vote
Here is the thread containing my October 11 2019 suggestion that we do this
viewtopic.php?f=3&t=2653&p=32467&hilit=Lag#p32467