Various doc changes etc.