Right now if the user disables the device flow with the default GitHub app, we ignore it. We should 1. Describe the behavior in documentation, and 2. log a warning in coder server