Fix nettle.

We need TeX to build the doc, so do away with it.