We now ignore the docs/* folder for the time being.
Remove docs.