I tend to gravitate toward a less heavily stocked tank, so I think your initial suggestion is more along the lines of what I would do. However, if you wanted to add some cories, you could consider cutting down your platies from 4 to 2.
I guess it all depends on what kind of filtration you have and how often you want to do water changes.