Thanks Sandro - just installed it, seems to be working.
It seems like maybe they aren't going to bother with it. If anyone else is running Ubuntu 12.10 and having trouble, I have taken the liberty to create two scripts from Sandro's instructions. Run the first one from the regular graphical interface; then run the second in a terminal shell by pressing Ctrl+Alt+F1 and logging in.
Thanks Sandro - just installed it, seems to be working.
It seems like maybe they aren't going to bother with it. If anyone else is running Ubuntu 12.10 and having trouble, I have taken the liberty to create two scripts from Sandro's instructions. Run the first one from the regular graphical interface; then run the second in a terminal shell by pressing Ctrl+Alt+F1 and logging in.