Serial.h not found

[baqwas]

Sorry to harp on this Arduino header file, Serial.h, but is it really necessary to declare its inclusion with the current IDEs (Dec 2022)?

It is my understanding (under Arduino IDE 2.x) that the inclusion of this statement generates a "not found" error message. Commenting out the errant statement permits compilation without this error message. Also, it is difficult to locate Serial.h in any official Arduino repository!

Regards.