Not enough to bother installing someone else's .deb, especially now I seem to have fixed the immediate problem. I might give it another try once Debian have put out another release, whenever that might be. But thanks anyway.