adjust weights -- sorts are prolific, so tone them down even more
adjust weights -- sorts are prolific, so tone them down even more

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle