UPDATE: In an ark-unrelated game it was brought to my attention that I probably should update my graphics driver. This isn’t my main machine for gaming, so I hadn’t immediately thought about that. Now the issue has vanished and the Ark Dev Kit starts without issue.