How can I get to see the DK-DEV-1SGX board in the Assignments->Device dialog of Quartus Prime Pro?

I have a DK-DEV-1SGX-H-A development kit for the Stratix 10 GX device.

The Quartus Prime User Guide -> Getting Started section explains that in the New Project Wizard or the Assignments->Device dialog of a project a development kit can be selected inside the "Board" tab. Then an appropriate pin assignment script should be created automatically.

This would be extremely helpful as a starter. Unfortunately the "Board" tab of that dialog is completely empty. The "Family" selection doesn't have any entries at all and the "Development Kit" selection has the single entry "Any". So there is nothing to choose from.

I have downloaded and installed Quartus Prime Pro 18.1.0.222 (as this is the version mentioned explicitly in the board documentation) and the related Stratix 10 device installer package.

Is there something I have missed? Or do I have to point QPP to some of the files included in the board's installer package? To be honest I am a little bit overloaded with the various files and docs.

I have also tried to follow the advice in the dialog box itself:
"Can't find your board? Check the Design Store for additions and search for baseline under Design Examples."
There are, of course, some design examples. But as soon as I search for "Baseline" the list gets empty.

Thank you very much for any helpful advice in advance!

Best regards,
Sebastian