Then the code shows up correctly in the Web Editor. Also works if I change the arduino_secrets.h file name in that line. Seems like the Web Editor is trying to be smart by automatically not including arduino_secrets.h, but in this case it's already commented out, so that I can un-comment the line for local builds. The Web Editor needs to detect when the undesirable #include is actually active, i.e. not commented out. It would be nicer if I received a warning rather than having my code automatically changed, especially with no notification as to what was changed and why.
I am not sure if we are agreeing or disagreing, so let me put it bluntly. When using the Arduino Cloud, let it do the bulk of the coding if in fact not all of it. IF the human decides to 'modify' the cloud code, it only takes a very tiny mistake to confuse the cloud and blow it's mind. Ask me how I know.
Thanks for your report @conpewter! I confirm the fault and have submitted a formal bug report to the Arduino IDE developers on your behalf:
If you have a GitHub account, you can subscribe to that thread to get notifications of any new developments related to this subject:
Please only comment on the GitHub issue thread if you have new technical information that will assist with the resolution. General discussion and support requests are always welcome here on the Arduino Forum.