hear me out on why i think this is a good idea; a lot of people on osu!mania only play either 4k or only 7k. some people play both, but many lean toward one of those extremes. some play 5k, some 9k, etc. the thing about different amounts of keys is that maps with certain amounts of keys are way different from maps with a different amount of keys. personally, 4k feels like almost a different gamemode then 7k to me. the concept is the same, but the mechanics are completely different. i wish that top 4k players could get the recognition that top 7k players get.