Oops – sorry! I was trying to split out my pull requests. I'll close this until we figure out whether debian packages is a good idea or not.