Commit some old stuff about NESTOR.