worldhdi                worldhdi: Human Development Index trends for
                        countries and aggregates, 1990-2022
