Small changes (theme, docsets, org language support)