Restore docset folder

- This was removed by mistake. Reported on #500