The bug would be need to be filled with Dropbox, to get them to work that way.
But perhaps Marvin 3 will fix lots of things. Hopefully much simpler, more refined, more elegant, unafraid to remove added user suggestions that made the app require too many taps to do something, etc. I'd use Gerty but it doesn't do highlights it seems in traditional ways. And that double height toolbar, oh that looks to me like an abomination.