leeneia wrote: But they don't explain what engraving music might be

I take 'engraving' to mean something like 'typesetting' might mean to a printer. Early printed scores were produced by engraving on metal sheets.

If we think it is difficult for us to grapple with software, they had to carve it in metal, by hand and in reverse!