Don't mention the PPA

PPA is old & broken, just point people at Ubuntu.