Various doc improvements