Comment by isotopp

I just pushed an addendum, and it is being rendered right now.