Restored old docs/.