4.25 can't find option to "Run dedicated server"

Did you ever figure this out?