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