So... I see the default dock as pretty much useless - it annoys the heck out of me, but for the time being I used it because alternatives are either not good or not free. Time to replace it...