I actually use Linux Mint for this reason - Cinnamon is just awesome (except the random crashes every once in a while)

Docking support is great, but sound output needs to be swapped manually sometimes.