Install gnome-shell.
Set gdm as default display manager.
Add instruction to install-gnome.
Gnome shell already handles HDPI text.
Download ubuntu-13.10-gnome-shell branch here.