“What is public policy and how to shape it” — a new online course for civil servants on Diia.Digital