Currently I'm trying to get better at AR10 and I noticed that when searching for "AR=10" and toggle on HR I don't get many results. The search should consider that HR is on and display all beatmaps that have a modded approach rate of 10, not only those who do without HR. This of course applies to DT as well, or generally all mods.