INSTALL-xubuntu-12.10: Checks out eaa3b17a21823d7b6fbd43b0d8b613f90c18ab90. Updated comments.