px-select-text-in-quote works around Ubuntu's stealing of the super key