docs: public boolean postMortem(PostMortem pm) {
          JSONzip that = (JSONzip) pm;
          return this.namehuff.postMortem(that.namehuff)
                  && this.namekeep.postMortem(that.namekeep)
                  && this.stringkeep.postMortem(that.stringkeep)
                  && this.stringhuff.postMortem(that.stringhuff)
                  && this.valuekeep.postMortem(that.valuekeep);
      }