For #229, use real name of docsets when trying to delete them