Fix docs, finish up changes for dump filtering.