Re: What's the deal with us not having Pixel Pipe anymore?
 

Thanks, I managed to get it installed after:
a) freeing up space on my home directory (not root) - it had got full.
b) emptying/refreshing cache (which I'd done before a)
c) installing a patched apt_get to install from the ovi repo
d) adding the ovi repo by way of clicking on the install link from the app above.

Back working again.