Some minor editing of docs/.