When filtering by rating in the problem set, say 2000-2400, I see a lot of div 3 problems mixed in with the div2 and div1 problems These problems tend to have really long autistic statements and are generally overrated by a few 100 points.
So, I want a system to choose exclude/include only problems of certain division, as it would save time and also I would get a long unbroken line of ACs which would look more satisfying.
I understand implementing a filter for div x contests might be a lot of work, so I suggest just adding a tag for div 2/1/combined contest (maybe edu/team/unrated etc tags can also be added). I'm not sure if it would be possible to automate tag assigning but I think if the tags are added most recent problems will be tagged by the community in a few weeks.
you can use the TLE bot on Errichto Server Official with
;gimme 2400 +div1
. It does involve logging in to discord right before practice though (which might be somewhat undesirable.)