If the documentation has been created, we could close it. Otherwise, I would suggest leaving it open.
If the documentation has been created, we could close it. Otherwise, I would suggest leaving it open.