About Not Including <HardwareSerial.h>

This compiles --

#include <HardwareSerial.h>
HardwareSerial mpwav(1);

void setup()
{
   mpwav.begin(9600,SERIAL_8N1,5,7);  // rx 5 (not used) → tx 7 for DHY
}

The cheatsheet tells us about
Serial1.begin(9600, SERIAL_8N1,rxpin, txpin);
I could just carry on with Serial1.print("xyz"); I suppose
but how do I change that (what's there in 'code tags') without using the HardwareSerial #include -- so that I can use mpwav.print("xyz"); ?

Not sure whether this helps:

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

Going with

#define mpwav Serial1

and then in setup() --

mpwav.begin(9600,SERIAL_8N1,5,7);  // rx 5 (not used) → tx 7 for DHY

compiles.

Looks like that's the way to go (courtesy of MS Copilot.)