`echo 'yes' | sudo add-apt-repository ppa:coolwanglu/pdf2htmlex` seems to be missing