The supplied docs/conf.py gives a whole bunch of errors if you run prospector. Having it ignore the docs/ directory is probably a good idea.