About Not Including <HardwareSerial.h>

Not sure whether this helps:

https://forum.arduino.cc/t/definition-and-type-of-object-serial/327079/4