Is the leafnode package broken? Not only can I not get it to work, but the website http://www.leafnode.org/ says that the leafnode package consists in several programs, one of which is texspire. However, there does not seem to be a "texspire" on my system after install with apt-get, nor does dpkg -S list it. Thanks, - Richard.