Remove docs subdirectory from coverage, but keep docs/example