Update the TODO list
Remove the AUR-specific section from INSTALL