INSTALL-xubuntu-12.10: Polished comments.