Overview view isunnecessarily large

[fedorov]

trafficstars

I was not sure if this is a bug or intended behavior

[hackermd]

Choosing an appropriate size for the overview is surprisingly difficult. We can try to further improve it, but I wouldn't consider this a priority because the overview can now be toggled.

[hackermd]

What do you think @fedorov re priority?

[fedorov]

We only have one IDC label, so I don't have a choice re priority. I agree it is not a priority, I just wanted to note it since I noticed the issue.