Turns out that the thing I've described are called "Bayes estimators". Credit to ChatGPT for figuring this out. Googling for "bayes elo" gives some results, but I don't understand what said results are saying.