Merge branch 'master' of https://github.com/zooko/gc
Had omitted AUX from insertion and deltions lists.  Fixed that.
Merge branch 'master' of https://github.com/lamber/gc