This deprecates `useGtkTheme=true` with the intention of replacing it with the `platformTheme` selection.