> Sure, we could use Magma or some other backend for the package cache -
> but IMHO those technologies aren't stable enough yet.

Currently, I have no known bugs in Magma.  If anybody knows of one or finds
one, please report it to me and I'll get it fixed.  Thanks.

  - Chris