Distributions

Alas, grumpy-miner has yet to release a distribution.