Removed an old docset that caused some gh-pages failures